pub(super) fn check_item(tcx: TyCtxt<'_>, def_id: LocalDefId)