Update JET requirement from 0.9, 0.10, 0.11 to 0.9, 0.10, 0.11, 0.12 in the all-julia-packages group across 1 directory

[dependabot]

⚠️ Dependabot is rebasing this PR ⚠️

Rebasing might not happen immediately, so don't worry if this takes some time.

Note: if you make any changes to this PR yourself, they will take precedence over the rebase.

---

Updates the requirements on JET to permit the latest version.
Updates JET to 0.12.2

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

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
see 57 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.