Update JET requirement to 0.12.1 in /test

[dependabot]

Updates the requirements on JET to permit the latest version.

Release notes

Sourced from JET's releases.

v0.12.1

JET v0.12.1

Diff since v0.12.0

Merged pull requests:

• toplevel: Derive concretization patterns from the actual assignment (#855) (@​aviatesk)
• toplevel: Simplify Test.jl macros during virtual processing (#856) (@​aviatesk)
• toplevel: Isolate conditional closures in Test expressions (#857) (@​aviatesk)

Changelog

Sourced from JET's changelog.

[0.12.1]

Changed

• Improved report_file performance on test files that use Test.jl macros while continuing to analyze the user expressions checked by those macros.
• MissingConcretizationErrorReport now identifies the assignment requiring a concrete value and, when safe, suggests a ready-to-use concretization_patterns entry. Its guidance also clarifies when const is insufficient and avoids patterns that could match unrelated assignments.

[0.12.0]

Added

• Added support for Julia v1.13.
• Added JET.JET_AVAILABLE so test suites can skip JET checks when only empty stubs are available. See the new Julia compatibility and versioning policy.

Changed

• Breaking: JET no longer accepts Julia compiler parameter keywords such as max_methods and inlining as user-facing configuration options for analysis entry points; such keywords now throw JETConfigError.
• Module matchers for the target_modules/ignored_modules configurations now follow lexical module nesting that stops at namespace roots: Base is no longer considered a submodule of Main. target_modules = (Main,) therefore matches only code defined interactively in the REPL or in an analyzed script, instead of also matching every report from Base.
• JET now loads empty stubs on unsupported future Julia versions while remaining installable as a test dependency.
• Overhauled JET's documentation across the project.
• Improved the implementation of optimization analysis to make it more robust.

Removed

• Breaking: Removed support for .JET.toml configuration files, including the parent-directory file lookup that report_file performed. A single configuration file could not be shared between analyzers that accept different configuration sets, and some configurations could not even be specified through the file at all. All analysis configurations are now specified via keyword arguments of each entry point.
• Breaking: Removed the experimental watch_file entry point. Use JETLS.jl for interactive diagnostics.
• Breaking: Removed the report_package(::AbstractString) and report_package() entry points (and the corresponding test_package forms), which had been deprecated since v0.11. Load the target package first and pass its module directly, e.g. report_package(PkgModule).
• Breaking: Removed the target_defined_modules configuration, which had been deprecated since v0.11. Use the more flexible target_modules configuration instead, e.g. target_modules=(PkgModule,).
• Breaking: Removed the fullpath printing configuration, which had been

... (truncated)

Commits

• c24ba47 verion 0.12.1
• 589b0cd toplevel: Isolate conditional closures in Test expressions (#857)
• 9c1f0d8 docs: Add CHANGELOG entry for #856
• 0ea8c45 toplevel: Simplify Test.jl macros during virtual processing (#856)
• ab5ab55 Some minor test code improvements
• 6e16a8a docs: Document improved concretization guidance
• b40fa16 toplevel: Reject derived concretization patterns for catchall names
• a1b055a toplevel: Derive concretization patterns from the actual assignment (#855)
• 1e28f74 toplevel: Clarify missing concretization guidance
• a426ca3 toplevel: Add file-specific concretization pattern hook
• Additional commits viewable 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)