Skip to content

JET doesn't like vcat on Julia 1.12 #699

@gdalle

Description

@gdalle

Context: I use JET at scale for type stability testing in DifferentiationInterface. Now that Julia 1.12 is available as a beta release, I thought it would be fun to try it out in my CI, and I got lots of new JET runtime dispatch errors, most of which are probably noise?

Here are a few examples, tested on the following settings:

  • Old (where there is no error)
julia> using JET

julia> using Pkg; Pkg.pkgversion(JET)
v"0.9.19"

julia> versioninfo()
Julia Version 1.11.4
  • New (where the error appears)
julia> using JET

julia> using Pkg; Pkg.pkgversion(JET)
[ Warning: pkgversion is defined in Base and is not public in Pkg
v"0.10.0"

julia> versioninfo()
Julia Version 1.12.0-beta1

I only display errors for the new version.

julia> @report_opt vcat([1], [1])
[ Info: tracking Base
═════ 1 possible error found ═════
┌ vcat(::Vector{Int64}, ::Vector{Int64}) @ Base ./array.jl:2270
│┌ _assert_tostring(msg::Expr) @ Base ./error.jl:249
││ runtime dispatch detected: %1::Any(msg::Expr)::Any
│└────────────────────

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions