rustc_typeck::check::check
pub(in check::check) fn check_union( tcx: TyCtxt<'_>, id: HirId, span: Span)