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

Returns the type of the last field of a struct (“the constraint”) which must implement the sizedness trait for the whole ADT to be considered to implement that sizedness trait. def_id is assumed to be the AdtDef of a struct and will panic otherwise.

asyncness 🔒

Check if a function is async.

defaultness 🔒

impl_self_is_guaranteed_unsized 🔒

param_env 🔒

See ParamEnv struct definition for details.

provide 🔒

sizedness_constraint_for_ty 🔒

If ty implements the given sizedness trait, returns None. Otherwise, returns the type that must implement the given sizedness for ty to implement it.

typing_env_normalized_for_post_analysis 🔒

unsizing_params_for_adt 🔒