commit 70e245140004b97a23737d3585ecb1bc57dcd61d
author Ralf Jung <post@ralfj.de> Mon Dec 29 12:23:47 2025 +0000
committer GitHub <noreply@github.com> Mon Dec 29 12:23:47 2025 +0000
tree 2a4d58973f29243fc6e493ce8a767d95bf2ceb0b
parent 3255e9b2e7bccd87edc1e0600a4b772340816581
parent 8dbafa837852025734d977717237836c4a1f15a7

Merge pull request #4796 from RalfJung/data-race-ice

fix ICE for particular data race situations

rust-version

diff --git a/rust-version b/rust-version
index 6a2835b..d32b6d0 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-23d01cd2412583491621ab1ca4f1b01e37d11e39
+7fefa09b90ca57b8a0e0e4717d672d38a0ae58b5

tests/pass/issues/issue-miri-4793.rs

diff --git a/tests/pass/issues/issue-miri-4793.rs b/tests/pass/issues/issue-miri-4793.rs
new file mode 100644
index 0000000..ccbff46
--- /dev/null
+++ b/tests/pass/issues/issue-miri-4793.rs
@@ -0,0 +1,3 @@
+fn main() {
+    let _ = std::panic::catch_unwind(|| Box::<str>::from("..."));
+}