Module rustc_ty_utils::ty
source · Structs
- 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
- Calculates the
Sized
constraint. - Check if a function is async.
- If
def_id
is an issue 33140 hack impl, returns its self type; otherwise, returnsNone
. - See
ParamEnv
struct definition for details.