Function rustc_typeck::check::check::check_impl_items_against_trait

pub(in check) fn check_impl_items_against_trait<'tcx>(
    tcx: TyCtxt<'tcx>, 
    full_impl_span: Span, 
    impl_id: LocalDefId, 
    impl_trait_ref: TraitRef<'tcx>, 
    impl_item_refs: &[ImplItemRef<'_>]
)