Module specialization 

Impl specialization related things

Functions

specializes 🔒

specializes_query 🔒

Is specializing_impl_def_id a specialization of parent_impl_def_id?

specializes_query_cycle 🔒