Function rustc_hir_analysis::check::check::check_impl_items_against_trait

fn check_impl_items_against_trait<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_id: LocalDefId,
    impl_trait_ref: TraitRef<'tcx>
)