Structs

Functions

Validate that ProjectionCandidates created for this associated type will be valid.
Checks that all parameters in the generics of a given assoc item in a trait impl have the same kind as the respective generic parameter in the trait def.
Checks that a method from an impl conforms to the signature of the same method as declared in the trait.
Checks that the number of generics on a given assoc item in a trait impl is the same as the number of generics on the respective assoc item in the trait definition.
This function is best explained by example. Consider a trait:
The equivalent of compare_predicate_entailment, but for associated types instead of associated functions.