fn check_trait(tcx: TyCtxt<'_>, item: &Item<'_>)