Module project_goals 

Modules

anon_const 🔒

free_alias 🔒

Computes a projection goal for inherent associated types, #![feature(lazy_type_alias)] and #![feature(type_alias_impl_trait)].

inherent 🔒

Computes a projection goal for inherent associated types, #![feature(inherent_associated_type)]. Since HIR ty lowering already determines which impl the IAT is being projected from, we just:

opaque_types 🔒

Computes a projection goal for opaque types. This goal behaves differently depending on the current TypingMode.