2026-04-06

• Commit: c954d83
• Diff: 8deefa8...c954d83
• Installation:

  julia -e 'using Pkg; Pkg.Apps.add(; url="https://github.com/aviatesk/JETLS.jl", rev="2026-04-06")'

Added

• Extended noreturn optimization to recognize error, rethrow, and exit in addition to throw. These calls are now treated as block terminators for unreachable code detection and undef variable analysis, reducing false positives when these functions are used as guards. For example, the following code no longer produces a false "possibly undefined" warning on y:

  function f(x)
      if x > 0
          y = x
      else
          error("x must be positive")
      end
      return sin(y)  # no warning: error() guarantees y is defined
  end

• Noreturn detection now works for nested calls (e.g. println(error(x))) where a noreturn function appears in argument position.

Changed

• Updated JuliaSyntax.jl and JuliaLowering.jl dependency versions to latest.

Fixed

• Fixed scope resolution for notebook cells to use soft scope semantics, so that assignments inside loops correctly resolve to existing globals instead of creating ambiguous locals.

• Fixed a crash during signature analysis (AssertionError: invalid cache_argtypes) that occurred when constant propagation encountered methods using @nospecializeinfer with varying varargs arities.
  Updated the bundled Compiler.jl revision with the upstream fix (https://github.com/JuliaLang/julia#61502) (Closed #618).