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

[dependabot]

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

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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

🚀 New features to boost your workflow:

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