hard rock mining

adjective

1. (loosely) of or relating to igneous or metamorphic rocks, as in mining (hard-rock mining) and geology (hard-rock geology).