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

Internal error during instanceof_tfunc #52919

Closed
maleadt opened this issue Jan 16, 2024 · 0 comments · Fixed by #52924
Closed

Internal error during instanceof_tfunc #52919

maleadt opened this issue Jan 16, 2024 · 0 comments · Fixed by #52924
Labels
compiler:inference Type inference regression Regression in behavior compared to a previous version
Milestone

Comments

@maleadt
Copy link
Member

maleadt commented Jan 16, 2024

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.

@maleadt maleadt added regression Regression in behavior compared to a previous version compiler:inference Type inference labels Jan 16, 2024
@maleadt maleadt added this to the 1.11 milestone Jan 16, 2024
N5N3 added a commit that referenced this issue Jan 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
compiler:inference Type inference regression Regression in behavior compared to a previous version
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant