Function rustc_hir_analysis::check::compare_impl_item::compare_impl_method
source · pub(super) fn compare_impl_method<'tcx>(
tcx: TyCtxt<'tcx>,
impl_m: AssocItem,
trait_m: AssocItem,
impl_trait_ref: TraitRef<'tcx>
)
Expand description
Checks that a method from an impl conforms to the signature of the same method as declared in the trait.
Parameters
impl_m
: type of the method we are checkingtrait_m
: the method in the traitimpl_trait_ref
: the TraitRef corresponding to the trait implementation