Change:
<!-- Thank you for finding an Internal Compiler Error! If possible, try to provide a minimal verifiable example. You can read "Rust Bug Minimization Patterns" for how to create smaller examples. --<!-- If you're using the stable version of the compiler, you should also check if the bug also exists in the beta or nightly versions. --: <!-- Include a backtrace in the code block by setting in your environment. E.g. . --<details<summary<strongBacktrace</strong</summary<p</p</details
A slightly more minimal example that does not use unsafe:
This bug was introduced in 1.46. Rustc 1.45.2 rightfully rejects the code, 37 - 1.44 ICEs with
Run cargo bisect on this: regression in Given that the panic is in , the likely culprit is PR because of the changes to
No longer ICEs since

Discussion:
<ins> error[E0764]: mutable references are not allowed in the final value of constants --> $DIR/issue-76510.rs:5:29 | LL | const S: &'static mut str = &mut " hello "; |                             ^^^^^^^^^^^^^^ error[E0658]: mutation through a reference is not allowed in constants --> $DIR/issue-76510.rs:5:29 | LL | const S: &'static mut str = &mut " hello "; |                             ^^^^^^^^^^^^^^ | = note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information = help: add `#![feature(const_mut_refs)]` to the crate attributes to enable error[E0596]: cannot borrow data in a `&` reference as mutable --> $DIR/issue-76510.rs:5:29 | LL | const S: &'static mut str = &mut " hello "; |                             ^^^^^^^^^^^^^^ cannot borrow as mutable error[E0080]: it is undefined behavior to use this value --> $DIR/issue-76510.rs:5:1 | LL | const S: &'static mut str = &mut " hello "; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered mutable reference in a `const` | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. = note: the raw bytes of the constant (size: 8, align: 4) { ╾─alloc2──╼ 07 00 00 00                         │ ╾──╼.... } error: aborting due to 4 previous errors Some errors have detailed explanations: E0080, E0596, E0658, E0764. For more information about an error, try `rustc --explain E0080`. </ins>

<ins> error[E0764]: mutable references are not allowed in the final value of constants --> $DIR/issue-76510.rs:5:29 | LL | const S: &'static mut str = &mut " hello "; |                             ^^^^^^^^^^^^^^ error[E0658]: mutation through a reference is not allowed in constants --> $DIR/issue-76510.rs:5:29 | LL | const S: &'static mut str = &mut " hello "; |                             ^^^^^^^^^^^^^^ | = note: see issue #57349 <https://github.com/rust-lang/rust/issues/57349> for more information = help: add `#![feature(const_mut_refs)]` to the crate attributes to enable error[E0596]: cannot borrow data in a `&` reference as mutable --> $DIR/issue-76510.rs:5:29 | LL | const S: &'static mut str = &mut " hello "; |                             ^^^^^^^^^^^^^^ cannot borrow as mutable error[E0080]: it is undefined behavior to use this value --> $DIR/issue-76510.rs:5:1 | LL | const S: &'static mut str = &mut " hello "; | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ type validation failed: encountered mutable reference in a `const` | = note: The rules on what exactly is undefined behavior aren't clear, so this check might be overzealous. Please open an issue on the rustc repository if you believe it should not be considered undefined behavior. = note: the raw bytes of the constant (size: 16, align: 8) { ╾───────alloc2────────╼ 07 00 00 00 00 00 00 00 │ ╾──────╼........ } error: aborting due to 4 previous errors Some errors have detailed explanations: E0080, E0596, E0658, E0764. For more information about an error, try `rustc --explain E0080`. </ins>

<ins> // stderr-per-bitwidth use std::mem::{transmute, ManuallyDrop}; const S: &'static mut str = &mut " hello "; //~^ ERROR: mutable references are not allowed in the final value of constants //~| ERROR: mutation through a reference is not allowed in constants //~| ERROR: cannot borrow data in a `&` reference as mutable //~| ERROR: it is undefined behavior to use this value const fn trigger() -> [(); unsafe { let s = transmute::<(*const u8, usize), &ManuallyDrop<str>>((S.as_ptr(), 3)); 0 }] { [(); 0] } fn main() {} </ins>