no matching method found isless(::Int64, ::Nothing): isless(x::Int64, y::Nothing)

[lgeissbauer-btig]

julia> struct A
       a::Union{Int,Nothing}
       end

julia> function b(a::A)
       !isnothing(a.a) && 1 < a.a
       end
b (generic function with 1 method)

julia> JET.@report_call b(A(1))
═════ 1 possible error found ═════
┌ @ REPL[9]:2 1 < a.a
│┌ @ operators.jl:356 isless(x, y)
││ no matching method found `isless(::Int64, ::Nothing)`: isless(x::Int64, y::Nothing)
│└────────────────────


julia> b(A(1))
false

ref:
JuliaTime/TimeZones.jl#424

[aviatesk]

Fixed on Julia 1.10 and higher.

[dpinol]

the workaround I use for this is

function b(a::A)
       !isnothing(a.a) && 1 < something(a).a
end 

[lgeissbauer-btig]

julia> function b1(a::A)
       a.a isa Int && 1 < a.a::Int
       end
b1 (generic function with 1 method)

julia> JET.@report_call b1(A(1))
No errors detected

also works. But I'm looking forward to 1.10