Fix inference of max_values(::Union) (#40785)

(cherry picked from commit 0105fe4)
JuliaLang · Dec 22, 2022 · c2a829c · c2a829c
1 parent fc82e63
commit c2a829c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/base/abstractset.jl b/base/abstractset.jl
@@ -81,7 +81,11 @@ end
 max_values(::Type) = typemax(Int)
 max_values(T::Union{map(X -> Type{X}, BitIntegerSmall_types)...}) = 1 << (8*sizeof(T))
 # saturated addition to prevent overflow with typemax(Int)
-max_values(T::Union) = max(max_values(T.a), max_values(T.b), max_values(T.a) + max_values(T.b))
+function max_values(T::Union)
+    a = max_values(T.a)::Int
+    b = max_values(T.b)::Int
+    return max(a, b, a + b)
+end
 max_values(::Type{Bool}) = 2
 max_values(::Type{Nothing}) = 1