rustc_typeck::check::wfcheck
pub(in check::wfcheck) fn check_trait( tcx: TyCtxt<'_>, item: &Item<'_>)