Function rustc_hir_analysis::coherence::check_impl

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