fn check_union(tcx: TyCtxt<'_>, def_id: LocalDefId)