Module rustc_typeck::check::compare_method
source · Structs
Functions
Validate that
ProjectionCandidate
s 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.