Function rustc_typeck::coherence::check_impl

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