Function rustc_typeck::check::check::check_on_unimplemented

pub(in check) fn check_on_unimplemented(
    tcx: TyCtxt<'_>, 
    trait_def_id: DefId, 
    item: &Item<'_>
)