Module rustc_hir_analysis::collect::type_of

Structs

check_feature_inherent_assoc_ty 🔒
find_opaque_ty_constraints_for_rpit 🔒
find_opaque_ty_constraints_for_tait 🔒
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 🔒