-
Notifications
You must be signed in to change notification settings - Fork 13.4k
ICE: layout.is_sized()
#139872
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Comments
bisects to nightly-2024-08-09 |
smaller: pub fn main() {
enum A {
B(u32),
}
static C: (A, u16, str);
fn d() {
let (_, e, _) = C;
}
}
`` |
It seems that the issue is that mir opts are running even though errors have been encountered. |
The ICE got introduced in #128612. @compiler-errors would you agree that |
Not necessarily. My initial reaction is also that I think this problem is deeper than This is generally the problem with evaluating any const in a type system where one item can make assumptions that other items have proven that they are well-formed (and thus don't need to prove their callee/referencee's well-formedness). |
auto-reduced (treereduce-rust):
original:
Version information
Possibly related line of code:
rust/compiler/rustc_middle/src/mir/interpret/mod.rs
Lines 366 to 378 in 40dacd5
Command:
/home/matthias/.rustup/toolchains/master/bin/rustc -Zmir-opt-level=5 -Zvalidate-mir
Program output
The text was updated successfully, but these errors were encountered: