Module rustc_typeck::collect::type_of
source · Functions
Checks “defining uses” of opaque
impl Trait
types to ensure that they meet the restrictions
laid for “higher-order pattern unification”.
This ensures that inference is tractable.
In particular, definitions of opaque types can only use other generics as arguments,
and they cannot repeat an argument. Example:Computes the relevant generic parameter for a potential generic const argument.
type_of 🔒