Module normalize_projection_ty 

Functions

const_arg_has_type_obligation 🔒

If normalized_term is a const, returns a ConstArgHasType obligation to verify that the const value’s type matches the alias’s declared type. Returns None if the term is a type rather than a const.

normalize_canonicalized_free_alias 🔒

normalize_canonicalized_inherent_projection 🔒

normalize_canonicalized_projection 🔒

provide 🔒