Type instability within `>(1.0, pi)` (related to `ScopedValues`)

[ehehela]

julia> VERSION
v"1.12.0"

julia> pkgversion(JET)
v"0.10.11"

julia> @report_call >(1.0, π)
═════ 1 possible error found ═════
┌ >(x::Float64, y::Irrational{:π}) @ Base ./operators.jl:425
│┌ <(x::Irrational{:π}, y::Float64) @ Base ./irrationals.jl:127
││┌ Float64(x::Irrational{:π}, r::RoundingMode{:Up}) @ Base.MathConstants ./mathconstants.jl:30
│││┌ _irrational_to_float(::Type{Float64}, x::Irrational{:π}, r::RoundingMode{:Up}) @ Base ./irrationals.jl:102
││││┌ setprecision(f::Base.var"#_irrational_to_float##0#_irrational_to_float##1"{…}, ::Type{…}, prec::Int64) @ Base.MPFR ./mpfr.jl:1204
│││││┌ setprecision(f::Base.var"#_irrational_to_float##0#_irrational_to_float##1"{…}, ::Type{…}, prec::Int64; base::Int64) @ Base.MPFR ./mpfr.jl:1205
││││││┌ Base.ScopedValues.Scope(scope::Base.ScopedValues.Scope, pair::Pair{Base.ScopedValues.ScopedValue{Int32}, Int64}) @ Base.ScopedValues ./scopedvalues.jl:99
│││││││┌ Base.ScopedValues.Scope(parent::Base.ScopedValues.Scope, key::Base.ScopedValues.ScopedValue{Int32}, value::Int64) @ Base.ScopedValues ./scopedvalues.jl:95
││││││││┌ Base.PersistentDict{…}(dict::Base.PersistentDict{…}, pair::Pair{…}) @ Base ./dict.jl:945
│││││││││┌ Base.PersistentDict(dict::Base.PersistentDict{…}, key::Base.ScopedValues.ScopedValue{…}, val::Int32) @ Base ./dict.jl:951
││││││││││┌ set(dict::Base.PersistentDict{…}, key::Base.ScopedValues.ScopedValue{…}, val::Int32) @ Base ./dict.jl:873
│││││││││││┌ _keyvalueset(dict::Base.PersistentDict{…}, key::Base.ScopedValues.ScopedValue{…}, val::Int32) @ Base ./dict.jl:879
││││││││││││┌ insert!(found::Bool, present::Bool, trie::Base.HashArrayMappedTries.HAMT{…}, i::Int64, bi::Base.HashArrayMappedTries.BitmapIndex, h::Base.HashArrayMappedTries.HashState{…},
 val::Int32) @ Base.HashArrayMappedTries ./hamt.jl:215
│││││││││││││┌ insert!(a::Vector{Union{…}}, i::Int64, item::Base.HashArrayMappedTries.HAMT{Base.ScopedValues.ScopedValue, Any}) @ Base ./array.jl:1778
││││││││││││││┌ _insert!(a::Vector{Union{…}}, i::Int64, item::Base.HashArrayMappedTries.HAMT{Base.ScopedValues.ScopedValue, Any}) @ Base ./array.jl:1783
│││││││││││││││┌ _growat!(a::Vector{Union{Base.HashArrayMappedTries.HAMT{…}, Base.HashArrayMappedTries.Leaf{…}}}, i::Int64, delta::Int64) @ Base ./array.jl:1166
││││││││││││││││┌ _growbeg!(a::Vector{Union{Base.HashArrayMappedTries.HAMT{…}, Base.HashArrayMappedTries.Leaf{…}}}, delta::Int64) @ Base ./array.jl:1084
│││││││││││││││││┌ (::Base.var"#_growbeg!##0#_growbeg!##1"{Vector{…}, Int64, Int64, Int64, Int64, Memory{…}, MemoryRef{…}})() @ Base ./array.jl:1103
││││││││││││││││││┌ _unsetindex!(A::Memory{Union{Base.HashArrayMappedTries.HAMT{…}, Base.HashArrayMappedTries.Leaf{…}}}, i::Int64) @ Base ./genericmemory.jl:77
│││││││││││││││││││┌ _unsetindex!(A::MemoryRef{Union{Base.HashArrayMappedTries.HAMT{…}, Base.HashArrayMappedTries.Leaf{…}}}) @ Base ./genericmemory.jl:88
││││││││││││││││││││ invalid builtin function call: typeassert(T::Type{Union{Base.HashArrayMappedTries.HAMT{…}, Base.HashArrayMappedTries.Leaf{…}}}, DataType)
│││││││││││││││││││└────────────────────

[nsajko]

Simpler reproducer:

julia> using JET

julia> report_call(empty!, Tuple{Vector{Union{Int, UInt}}})
═════ 1 possible error found ═════
┌ empty!(a::Vector{Union{Int64, UInt64}}) @ Base ./array.jl:2066
│┌ _deleteend!(a::Vector{Union{Int64, UInt64}}, delta::Int64) @ Base ./array.jl:1229
││┌ _unsetindex!(A::Vector{Union{Int64, UInt64}}, i::Int64) @ Base ./array.jl:219
│││┌ _unsetindex!(A::MemoryRef{Union{Int64, UInt64}}) @ Base ./genericmemory.jl:88
││││ invalid builtin function call: typeassert(T::Type{Union{Int64, UInt64}}, DataType)
│││└────────────────────


julia> versioninfo()
Julia Version 1.12.1
Commit ba1e628ee49 (2025-10-17 13:02 UTC)
Build Info:
  Official https://julialang.org release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 8 × AMD Ryzen 3 5300U with Radeon Graphics
  WORD_SIZE: 64
  LLVM: libLLVM-18.1.7 (ORCJIT, znver2)
  GC: Built with stock GC
Threads: 1 default, 1 interactive, 1 GC (on 8 virtual cores)
Environment:
  JULIA_NUM_PRECOMPILE_TASKS = 2
  JULIA_PKG_PRECOMPILE_AUTO = 0

[nsajko]

@aviatesk are you sure this is not a JET.jl issue? The code seems fine in Cthulhu.jl.

Descend call looks like this: descend(empty!, Tuple{Vector{Union{Int, UInt}}}; remarks=true, with_effects=true).

The relevant Cthulhu-annotated line is:

(arrayelem::Core.Const(2) == isbits::Core.Const(0))::Core.Const(false) && datatype_pointerfree(T::DataType) && return A

So JET.jl is warning about a possible trhrow in code that's dead anyway according to Cthulhu.

[aviatesk]

This will be temporarily fixed by a change in JET (aviatesk/JET.jl#767).
For a more general and complete fix, we'll need to wait for #59908, which will be fixed in v1.13 and v1.12.2.

[aviatesk]

@nsajko Thanks for debugging. While this is partly a JET issue, it also needs a fix in the Base compiler. I'll coordinate to get this resolved.

[aviatesk]

Fixed in JET v0.10.12.