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_normalized_for_post_analysis 🔒

provide 🔒

sized_constraint_for_ty 🔒

unsizing_params_for_adt 🔒