fatal error in type inference (type bound) in Configurations.jl

[fonsp]

The following error happens in Julia 1.9.0-rc1, but not in Julia 1.8 and below.

The relevant code from Pluto is here: https://github.com/fonsp/Pluto.jl/blob/f3d8946dd2743e605418d73cead26e6fcd79d11f/src/Configuration.jl#L231-L255 , and from Configurations.jl can be read from the stacktrace.

➜  ~ julia19
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.9.0-rc1 (2023-03-07)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |

(@v1.9) pkg> activate --temp
  Activating new project at `/var/folders/v_/fhpj9jn151d4p9c2fdw2gv780000gn/T/jl_pjnsJ5`

(jl_pjnsJ5) pkg> add Pluto Configurations
    Updating registry at `~/.julia/registries/General.toml`
   Resolving package versions...
   Installed Pluto ─ v0.19.22
    Updating `/private/var/folders/v_/fhpj9jn151d4p9c2fdw2gv780000gn/T/jl_pjnsJ5/Project.toml`
  [5218b696] + Configurations v0.17.4
  [c3e4b0f8] + Pluto v0.19.22
    Updating `/private/var/folders/v_/fhpj9jn151d4p9c2fdw2gv780000gn/T/jl_pjnsJ5/Manifest.toml`
  [d1d4a3ce] + BitFlags v0.1.7
  [944b1d66] + CodecZlib v0.7.1
  [5218b696] + Configurations v0.17.4
  [9a962f9c] + DataAPI v1.14.0
  [e2d170a0] + DataValueInterfaces v1.0.0
⌅ [55351af7] + ExproniconLite v0.7.11
  [fb4132e2] + FuzzyCompletions v0.5.1
  [cd3eb016] + HTTP v1.7.4
  [ac1192a8] + HypertextLiteral v0.9.4
  [83e8ac13] + IniFile v0.5.1
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [692b3bcd] + JLLWrappers v1.4.1
  [0e77f7df] + LazilyInitializedFields v1.2.1
  [e6f89c97] + LoggingExtras v1.0.0
  [6c6e2e6c] + MIMEs v0.1.4
  [739be429] + MbedTLS v1.1.7
  [99f44e22] + MsgPack v1.2.0
  [4d8831e6] + OpenSSL v1.3.3
  [bac558e1] + OrderedCollections v1.4.1
  [c3e4b0f8] + Pluto v0.19.22
  [91cefc8d] + PrecompileSignatures v3.0.3
  [21216c6a] + Preferences v1.3.0
  [2792f1a3] + RegistryInstances v0.1.0
  [05181044] + RelocatableFolders v1.0.0
  [6c6a2e73] + Scratch v1.2.0
  [777ac1f9] + SimpleBufferStream v1.1.0
  [66db9d55] + SnoopPrecompile v1.0.3
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.10.1
  [3bb67fe8] + TranscodingStreams v0.9.11
  [410a4b4d] + Tricks v0.1.6
  [5c2747f8] + URIs v1.4.2
  [458c3c95] + OpenSSL_jll v1.1.20+0
  [0dad84c5] + ArgTools v1.1.1
  [56f22d72] + Artifacts
  [2a0f44e3] + Base64
  [ade2ca70] + Dates
  [8ba89e20] + Distributed
  [f43a241f] + Downloads v1.6.0
  [7b1f6079] + FileWatching
  [b77e0a4c] + InteractiveUtils
  [b27032c2] + LibCURL v0.6.3
  [76f85450] + LibGit2
  [8f399da3] + Libdl
  [37e2e46d] + LinearAlgebra
  [56ddb016] + Logging
  [d6f4376e] + Markdown
  [ca575930] + NetworkOptions v1.2.0
  [44cfe95a] + Pkg v1.9.0
  [de0858da] + Printf
  [3fa0cd96] + REPL
  [9a3f8284] + Random
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization
  [6462fe0b] + Sockets
  [fa267f1f] + TOML v1.0.3
  [a4e569a6] + Tar v1.10.0
  [8dfed614] + Test
  [cf7118a7] + UUIDs
  [4ec0a83e] + Unicode
  [e66e0078] + CompilerSupportLibraries_jll v1.0.2+0
  [deac9b47] + LibCURL_jll v7.84.0+0
  [29816b5a] + LibSSH2_jll v1.10.2+0
  [c8ffd9c3] + MbedTLS_jll v2.28.2+0
  [14a3606d] + MozillaCACerts_jll v2022.10.11
  [4536629a] + OpenBLAS_jll v0.3.21+4
  [83775a58] + Zlib_jll v1.2.13+0
  [8e850b90] + libblastrampoline_jll v5.4.0+0
  [8e850ede] + nghttp2_jll v1.48.0+0
  [3f19e933] + p7zip_jll v17.4.0+0
        Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m`
Precompiling environment...
  7 dependencies successfully precompiled in 41 seconds. 29 already precompiled.
  1 dependency had warnings during precompilation:
┌ Pluto [c3e4b0f8-55cb-11ea-2926-15256bba5781]
│  ┌ Info: 
│  │ 
│  │     Welcome to Pluto v0.19.22 🎈
│  │     Start a notebook server using:
│  │ 
│  │   julia> Pluto.run()
│  │ 
│  │     Have a look at the FAQ:
│  │     https://github.com/fonsp/Pluto.jl/wiki
│  └ 
└  

julia> import Pluto, Configurations

julia> Configurations.from_kwargs(Pluto.Configuration.CompilerOptions)
ERROR: fatal error in type inference (type bound)
Stacktrace:
  [1] foreach_keywords
    @ ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:146 [inlined]
  [2] collect_underscore_keywords! (repeats 2 times)
    @ ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:180 [inlined]
  [3] underscore_keywords(#unused#::Type{Pluto.Configuration.CompilerOptions})
    @ Configurations ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:138
  [4] #from_underscore_kwargs!#25
    @ ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:57 [inlined]
  [5] from_underscore_kwargs! (repeats 2 times)
    @ ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:54 [inlined]
  [6] from_kwargs(convention!::typeof(Configurations.from_underscore_kwargs!), ::Type{Pluto.Configuration.CompilerOptions}; kw::Base.Pairs{Symbol, Union{}, Tuple{}, NamedTuple{(), Tuple{}}})
    @ Configurations ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:14
  [7] from_kwargs
    @ ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:12 [inlined]
  [8] #from_underscore_kwargs#22
    @ ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:31 [inlined]
  [9] from_underscore_kwargs
    @ ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:30 [inlined]
 [10] #from_kwargs#21
    @ ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:23 [inlined]
 [11] from_kwargs(::Type{Pluto.Configuration.CompilerOptions})
    @ Configurations ~/.julia/packages/Configurations/uH65h/src/from_kwargs.jl:23
 [12] top-level scope
    @ REPL[4]:1

julia> versioninfo()
Julia Version 1.9.0-rc1
Commit 3b2e0d8fbc1 (2023-03-07 07:51 UTC)
Platform Info:
  OS: macOS (arm64-apple-darwin21.4.0)
  CPU: 8 × Apple M1
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-14.0.6 (ORCJIT, apple-m1)
  Threads: 1 on 4 virtual cores
Environment:
  JULIA_IMAGE_THREADS = 1

[aviatesk]

I can't reproduce this on the backport 1.9 branch (https://github.com/JuliaLang/julia/tree/backports-release-1.9), so I guess this issue will be fixed on the next release candidate.

[fonsp]

Can't reproduce on Julia 1.9.0-rc2. Do we want to investigate it further or just close?

[aviatesk]

Let's close this.