Function rustc_typeck::coherence::check_impl

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