Module rustc_typeck::collect::type_of

Functions

check_feature_inherent_assoc_ty

default_anon_const_substs

find_opaque_ty_constraints

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:

get_path_containing_arg_in_pat

infer_placeholder_type

opt_const_param_of

Computes the relevant generic parameter for a potential generic const argument.

type_of