add lib.miri.rs file for miri-test-libstd

rust-lang · Apr 6, 2024 · 86f7fb5 · 86f7fb5
1 parent d8ab794
commit 86f7fb5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/lib.miri.rs b/src/lib.miri.rs
@@ -0,0 +1,5 @@
+//! Grep bootstrap for `MIRI_REPLACE_LIBRS_IF_NOT_TEST` to learn what this is about.
+#![no_std]
+#![feature(rustc_private)]
+extern crate compiler_builtins as real;
+pub use real::*;