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