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ยง
- adt_
sized_ ๐constraint Calculates theSized
constraint. - asyncness ๐Check if a function is async.
- defaultness ๐
- param_
env ๐SeeParamEnv
struct definition for details. - provide ๐
- If the given trait impl enables exploiting the former order dependence of trait objects, returns its self type; otherwise, returns
None
.