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

shirodkara · Jun 9, 2021 · be8fd2c · be8fd2c
1 parent a818b9d
commit be8fd2c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/base/abstractset.jl b/base/abstractset.jl
@@ -83,7 +83,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