Module rustc_typeck::collect::type_of[][src]


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.