Function rustc_typeck::coherence::builtin::check_trait

pub fn check_trait(tcx: TyCtxt<'_>, trait_def_id: DefId)