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