-
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 during type inference with const_evaluatable_checked #83249
Comments
Afaict this ICE is caused by trying to evaluate the length of I think we should either not cause an ICE when failing to select in |
Issue: rust-lang/rust#83249
#83288 I think is the same ICE, but not 100% sure |
I believe I found the issue and the correct fix. If you look into the rust/compiler/rustc_middle/src/ty/consts/kind.rs Lines 127 to 131 in 673d0db
Since we cannot pass in an InferCx here (as that only exists in later crates), we should probably remove this function and instead put it on |
the ICE is caused by using Always using |
The backtrace in the issue here does use
|
yeah, the last So the |
Right. I don't know what the correct solution is. I just assumed that due the comment left here, that we should be preferring the |
Code
playground
Meta
rustc --version --verbose
:Error output
Backtrace
Output from:
RUST_BACKTRACE=1 rustc +stage1 ./src/main.rs -Ztreat-err-as-bug
The text was updated successfully, but these errors were encountered: