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

(cherry picked from commit 0105fe4)
JuliaLang · May 11, 2021 · ecc3f1d · ecc3f1d
1 parent 4ab8c79
commit ecc3f1d
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