-
Notifications
You must be signed in to change notification settings - Fork 12.8k
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
ICE with const_impl_trait
+ const_evaluatable_checked
#88119
Labels
A-const-generics
Area: const generics (parameters and arguments)
C-bug
Category: This is a bug.
F-const_trait_impl
`#![feature(const_trait_impl)]`
F-generic_const_exprs
`#![feature(generic_const_exprs)]`
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
requires-nightly
This issue requires a nightly compiler in some way.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
Comments
CraftSpider
added
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
C-bug
Category: This is a bug.
F-generic_const_exprs
`#![feature(generic_const_exprs)]`
F-const_trait_impl
`#![feature(const_trait_impl)]`
labels
Aug 17, 2021
Update: Further minimized example, the actual value of the constants is irrelevant, it seems the dependent where bounds are the primary issue. |
BoxyUwU
added
the
A-const-generics
Area: const generics (parameters and arguments)
label
Aug 18, 2021
jyn514
added
the
requires-nightly
This issue requires a nightly compiler in some way.
label
Aug 30, 2021
It appears somewhere along the way, the playground link started working. Does this need a test, something in glacier, or any other work? |
JohnTitor
added
the
E-needs-test
Call for participation: An issue has been fixed and does not reproduce, but no test has been added.
label
May 5, 2022
JohnTitor
added a commit
to JohnTitor/rust
that referenced
this issue
May 19, 2022
bors
added a commit
to rust-lang-ci/rust
that referenced
this issue
May 19, 2022
Rollup of 6 pull requests Successful merges: - rust-lang#96539 (Add release notes for 1.61.0) - rust-lang#97142 (move processing of `source_scope_data` into `MutVisitor`'s impl of `Integrator` when inline) - rust-lang#97155 (Fix doc typo) - rust-lang#97169 (Improve `u32 as char` cast diagnostic) - rust-lang#97170 (Remove unnecessay .report() on ExitCode) - rust-lang#97171 (Add regression test for rust-lang#88119) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
fee1-dead
removed
the
E-needs-test
Call for participation: An issue has been fixed and does not reproduce, but no test has been added.
label
Mar 28, 2023
fee1-dead
added a commit
to fee1-dead-contrib/rust
that referenced
this issue
Apr 16, 2023
…, r=oli-obk Remove `remap_env_constness` in queries This removes some of the complexities with const traits. rust-lang#88119 used to be caused by this but was fixed by `param_env = param_env.without_const()`.
fee1-dead
added a commit
to fee1-dead-contrib/rust
that referenced
this issue
Apr 16, 2023
…, r=oli-obk Remove `remap_env_constness` in queries This removes some of the complexities with const traits. rust-lang#88119 used to be caused by this but was fixed by `param_env = param_env.without_const()`.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
A-const-generics
Area: const generics (parameters and arguments)
C-bug
Category: This is a bug.
F-const_trait_impl
`#![feature(const_trait_impl)]`
F-generic_const_exprs
`#![feature(generic_const_exprs)]`
I-ICE
Issue: The compiler panicked, giving an Internal Compilation Error (ICE) ❄️
requires-nightly
This issue requires a nightly compiler in some way.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
Playing around with some more complex possibilities of const traits + checked evaluation, and ran into an ICE. I minimized it as much as I could, but I imagine this may not be the most minimal example.
Code
Uncomment the lines marked as 'Does ICE' to see the error.
Playground Link: https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=99ad0a7282faed3143cefa2fdb3111e0
Meta
Playground Version
Error output
Backtrace
The text was updated successfully, but these errors were encountered: