Skip to content

Method error during ⊑(::ConstsLattice) #51310

Closed
@maleadt

Description

@maleadt

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.

Metadata

Metadata

Assignees

Labels

bugIndicates an unexpected problem or unintended behaviorcompiler:inferenceType inference

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions