Functions

Validate that ProjectionCandidates created for this associated type will be valid.

Checks that a method from an impl conforms to the signature of the same method as declared in the trait.

The equivalent of compare_predicate_entailment, but for associated types instead of associated functions.