Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Method error during ⊑(::ConstsLattice) #51310

Closed
maleadt opened this issue Sep 14, 2023 · 1 comment · Fixed by #51393
Closed

Method error during ⊑(::ConstsLattice) #51310

maleadt opened this issue Sep 14, 2023 · 1 comment · Fixed by #51393
Assignees
Labels
bug Indicates an unexpected problem or unintended behavior compiler:inference Type inference
Milestone

Comments

@maleadt
Copy link
Member

maleadt commented Sep 14, 2023

Reduced example:

(a(() = b{c} = d...) = 0)()
Internal error: encountered unexpected error in runtime:
MethodError(f=Core.Compiler.:(⊑), args=(Core.Compiler.JLTypeLattice(), Vararg{Any}, Type), world=0x00000000000015a5)
jl_method_error_bare at /cache/build/default-amdci5-3/julialang/julia-release-1-dot-10/src/gf.c:2203
jl_method_error at /cache/build/default-amdci5-3/julialang/julia-release-1-dot-10/src/gf.c:2221
jl_lookup_generic_ at /cache/build/default-amdci5-3/julialang/julia-release-1-dot-10/src/gf.c:3052 [inlined]
ijl_apply_generic at /cache/build/default-amdci5-3/julialang/julia-release-1-dot-10/src/gf.c:3067
⊑ at ./compiler/typelattice.jl:530
⊑ at ./compiler/typelattice.jl:508
⊑ at ./compiler/typelattice.jl:432 [inlined]
⊑ at ./compiler/typelattice.jl:397
#347 at ./compiler/abstractlattice.jl:288 [inlined]
abstract_call_unionall at ./compiler/abstractinterpretation.jl:1877
abstract_call_known at ./compiler/abstractinterpretation.jl:2031
abstract_call at ./compiler/abstractinterpretation.jl:2154
abstract_apply at ./compiler/abstractinterpretation.jl:1608
abstract_call_known at ./compiler/abstractinterpretation.jl:1989
abstract_call at ./compiler/abstractinterpretation.jl:2154
abstract_call at ./compiler/abstractinterpretation.jl:2147
abstract_call at ./compiler/abstractinterpretation.jl:2331
abstract_eval_call at ./compiler/abstractinterpretation.jl:2347
abstract_eval_statement_expr at ./compiler/abstractinterpretation.jl:2357
abstract_eval_statement at ./compiler/abstractinterpretation.jl:2601
abstract_eval_basic_statement at ./compiler/abstractinterpretation.jl:2890
typeinf_local at ./compiler/abstractinterpretation.jl:3075
typeinf_nocycle at ./compiler/abstractinterpretation.jl:3163
_typeinf at ./compiler/typeinfer.jl:247
typeinf at ./compiler/typeinfer.jl:216

Bisected to #48063 (cc @Keno @aviatesk), so technically 1.10-only, but doesn't seem worth putting on the milestone.

@maleadt maleadt added bug Indicates an unexpected problem or unintended behavior compiler:inference Type inference labels Sep 14, 2023
@maleadt
Copy link
Member Author

maleadt commented Sep 19, 2023

A package started failing with pretty much this error; StructWalk.jl, https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_date/2023-09/17/StructWalk.primary.log. Looks like this issue isn't so theoretical after all.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Indicates an unexpected problem or unintended behavior compiler:inference Type inference
Projects
None yet
2 participants