Function rustc_hir_analysis::coherence::check_impl

fn check_impl(tcx: TyCtxt<'_>, impl_def_id: LocalDefId, trait_ref: TraitRef<'_>)