Function rustc_typeck::check::compare_method::compare_impl_method

pub(crate) fn compare_impl_method<'tcx>(
    tcx: TyCtxt<'tcx>, 
    impl_m: &AssocItem, 
    impl_m_span: Span, 
    trait_m: &AssocItem, 
    impl_trait_ref: TraitRef<'tcx>, 
    trait_item_span: Option<Span>
)

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 checking
• impl_m_span: span to use for reporting errors
• trait_m: the method in the trait
• impl_trait_ref: the TraitRef corresponding to the trait implementation