Module rustc_typeck::check::compare_method [−][src]
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.