typeassert Bool for ifelse

Author: chriselrod

base/operators.jl

@@ -464,7 +464,7 @@ julia> max(2, 5, 1)
 5
 ```
 """
-max(x, y) = ifelse(isless(y, x), x, y)
+max(x, y) = ifelse(isless(y, x)::Bool, x, y)
 
 """
     min(x, y, ...)

base/reduce.jl

@@ -616,15 +616,15 @@ prod(a; kw...) = mapreduce(identity, mul_prod, a; kw...)
 _fast(::typeof(min),x,y) = min(x,y)
 _fast(::typeof(max),x,y) = max(x,y)
 function _fast(::typeof(max), x::AbstractFloat, y::AbstractFloat)
-    ifelse(isnan(x),
+    ifelse(isnan(x)::Bool,
         x,
-        ifelse(x > y, x, y))
+        ifelse((x > y)::Bool, x, y))
 end
 
 function _fast(::typeof(min),x::AbstractFloat, y::AbstractFloat)
-    ifelse(isnan(x),
+    ifelse(isnan(x)::Bool,
         x,
-        ifelse(x < y, x, y))
+        ifelse((x < y)::Bool, x, y))
 end
 
 isbadzero(::typeof(max), x::AbstractFloat) = (x == zero(x)) & signbit(x)
@@ -859,9 +859,9 @@ ExtremaMap(::Type{T}) where {T} = ExtremaMap{Type{T}}(T)
 # optimization for IEEEFloat
 function _extrema_rf(x::NTuple{2,T}, y::NTuple{2,T}) where {T<:IEEEFloat}
     (x1, x2), (y1, y2) = x, y
-    anynan = isnan(x1)|isnan(y1)
-    z1 = ifelse(anynan, x1-y1, ifelse(signbit(x1-y1), x1, y1))
-    z2 = ifelse(anynan, x1-y1, ifelse(signbit(x2-y2), y2, x2))
+    anynan::Bool = isnan(x1)|isnan(y1)
+    z1 = ifelse(anynan, x1-y1, ifelse(signbit(x1-y1)::Bool, x1, y1))
+    z2 = ifelse(anynan, x1-y1, ifelse(signbit(x2-y2)::Bool, y2, x2))
     z1, z2
 end