Module 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 🔒
• param_env 🔒
  See ParamEnv struct definition for details.
• param_env_reveal_all_normalized 🔒
• provide 🔒
• self_ty_of_trait_impl_enabling_order_dep_trait_object_hack 🔒
  If the given trait impl enables exploiting the former order dependence of trait objects, returns its self type; otherwise, returns None.
• sized_constraint_for_ty 🔒
• unsizing_params_for_adt 🔒