Skip to content

Internal error during instanceof_tfunc #52919

Closed
@maleadt

Description

@maleadt

As seen on PkgEval during testing of Groups.jl: https://s3.amazonaws.com/julialang-reports/nanosoldier/pkgeval/by_date/2024-01/14/Groups.primary.log

Internal error: during type inference of
with_logstate(Main.var"#29#37", Base.CoreLogging.LogState)
Encountered unexpected error in runtime:
ErrorException("too many parameters for type FPGroupElement")
ijl_errorf at /source/src/rtutils.c:77
ijl_apply_type at /source/src/jltypes.c:1365
ijl_apply_type1 at /source/src/jltypes.c:1407
insert_nondiagonal at /source/src/subtype.c:4471
insert_nondiagonal at /source/src/subtype.c:4460
insert_nondiagonal at /source/src/subtype.c:4435
insert_nondiagonal at /source/src/subtype.c:4498
insert_nondiagonal at /source/src/subtype.c:4510
_widen_diagonal at /source/src/subtype.c:4532 [inlined]
widen_diagonal at /source/src/subtype.c:4543
widen_diagonal at /source/src/subtype.c:4541
widen_diagonal at ./essentials.jl:464 [inlined]
instanceof_tfunc at ./compiler/tfuncs.jl:117

MWE:

abstract type AbstractWord{T} end
struct FPGroupElement{Gr<:AbstractWord} end

function evaluate!() where T<:FPGroupElement
    0::NTuple{N,T}
end

evaluate!()
Internal error: during type inference of
evaluate!()
Encountered unexpected error in runtime:
ErrorException("too many parameters for type FPGroupElement")
ijl_errorf at /cache/build/builder-amdci5-7/julialang/julia-master/src/rtutils.c:77
ijl_apply_type at /cache/build/builder-amdci5-7/julialang/julia-master/src/jltypes.c:1365
ijl_apply_type1 at /cache/build/builder-amdci5-7/julialang/julia-master/src/jltypes.c:1407
insert_nondiagonal at /cache/build/builder-amdci5-7/julialang/julia-master/src/subtype.c:4471
insert_nondiagonal at /cache/build/builder-amdci5-7/julialang/julia-master/src/subtype.c:4435
insert_nondiagonal at /cache/build/builder-amdci5-7/julialang/julia-master/src/subtype.c:4498
insert_nondiagonal at /cache/build/builder-amdci5-7/julialang/julia-master/src/subtype.c:4510
_widen_diagonal at /cache/build/builder-amdci5-7/julialang/julia-master/src/subtype.c:4532 [inlined]
widen_diagonal at /cache/build/builder-amdci5-7/julialang/julia-master/src/subtype.c:4543
widen_diagonal at /cache/build/builder-amdci5-7/julialang/julia-master/src/subtype.c:4541
widen_diagonal at ./essentials.jl:464 [inlined]
instanceof_tfunc at ./compiler/tfuncs.jl:117

Bisected to #52228; cc @N5N3. The commit was back-ported, but it only seems to error on 1.11.

Metadata

Metadata

Assignees

No one assigned

    Labels

    compiler:inferenceType inferenceregressionRegression in behavior compared to a previous version

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions