Module rustc_typeck::collect::type_of

Functions

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 🔒