Update JET requirement from 0.9, 0.10, 0.11 to 0.9, 0.10, 0.11, 0.12

[dependabot]

Updates the requirements on JET to permit the latest version.

Release notes

Sourced from JET's releases.

v0.12.2

JET v0.12.2

Diff since v0.12.1

Merged pull requests:

• build(deps): bump dawidd6/action-download-artifact from 21 to 24 (#859) (@​dependabot[bot])
• toplevel: Suppress reports from concretized calls (#862) (@​aviatesk)
• toplevel: Merge non-constant global binding states across assignments (#864) (@​aviatesk)
• abstractinterpret: Support literal callee objects in signatures (#865) (@​aviatesk)
• toplevel: Materialize untyped global declarations under control flow (#866) (@​aviatesk)
• toplevel: Add a timeout for concrete execution of top-level statements (#869) (@​aviatesk)
• toplevel: Report invalid constant declarations without crashing (#870) (@​aviatesk)
• toplevel: Fix documented binding analysis on Julia 1.13 (#871) (@​aviatesk)
• jetanalyzer: Suppress incompatible global assignments in typo mode (#872) (@​aviatesk)
• toplevel: Make concretization_timeout cover calls from top-level code (#873) (@​aviatesk)
• jetanalyzer: Avoid spurious errors for unknown ntuple lengths (#874) (@​aviatesk)
• jetanalyzer: Add overlays for Libdl.dlsym and tuple in (#875) (@​aviatesk)
• jetanalyzer: Add overlays for bottom-type arity guards (#876) (@​aviatesk)

Closed issues:

• False positive BoundsError for getindex on a Tensor (#678)
• @​report_opt crashes on Julia 1.13: typeof_arg does not support Base.BottomRF in optimized IR (#863)

Changelog

Sourced from JET's changelog.

[0.12.2]

Added

• Added the concretization_timeout configuration (10 seconds by default), which bounds the time JET spends concretely executing a single top-level statement. Exceeding it produces a ConcretizationTimeoutErrorReport instead of hanging on nonterminating loops that contain top-level definitions.

Changed

• Concrete execution of top-level statements now interprets function calls recursively with JuliaInterpreter instead of running them natively. This lets concretization_timeout stop nonterminating loops inside functions called from top-level code, and error reports from such calls now include the interpreted stack frames. ConcretizationTimeoutErrorReport likewise shows the calls that were running when the timeout hit. Blocks selected by concretization_patterns keep executing their calls natively. Code that runs natively, such as ccalls, code evaluated by Core.eval and those calls, still cannot be interrupted.

Fixed

• Fixed spurious BoundsError reports when analyzing ntuple calls with an aviatesk/JET.jl#678

• Fixed spurious NonBooleanCondErrorReports when branching on in checks against tuples, as in x in (1, 2) ? a : b, on Julia 1.12 and 1.13.

• Improved analysis accuracy for code that uses Libdl.dlsym.

• Fixed spurious MethodError reports for expressions such as complex(a, b) / 2 with imprecisely inferred inputs, and improved inference for IndexStyle and related Base traits.

• Fixed report_file hanging when a nonterminating top-level loop assigns to a global variable. Global declarations emitted by assignments under control flow no longer pull the enclosing loop or branch condition into concrete execution.

• Fixed @report_opt crashing when optimized code dynamically calls a callable object literal such as Base.BottomRFaviatesk/JET.jl#863

• Fixed error reports being dropped when concrete evaluation proves the reported call always throws.

• Fixed spurious field-access errors when analyzing parametric type definitions with inner constructors.

• Fixed concretization_patterns not matching global assignments with

... (truncated)

Commits

• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)