Module rustc_ty_utils::ty

Structs

• ImplTraitInTraitFinder 🔒
  Walk through a function type, gathering all RPITITs and installing a NormalizesTo(Projection(RPITIT) -> Opaque(RPITIT)) predicate into the predicates list. This allows us to observe that an RPITIT projects to its corresponding opaque within the body of a default-body trait method.

Functions

• adt_sized_constraint 🔒
  Calculates the Sized constraint.
• asyncness 🔒
  Check if a function is async.
• defaultness 🔒
• issue33140_self_ty 🔒
  If def_id is an issue 33140 hack impl, returns its self type; otherwise, returns None.
• param_env 🔒
  See ParamEnv struct definition for details.
• param_env_reveal_all_normalized 🔒
• provide 🔒
• sized_constraint_for_ty 🔒
• unsizing_params_for_adt 🔒