diff options
| author | Ralf Jung <post@ralfj.de> | 2025-06-28 13:47:52 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-06-29 07:05:17 +0200 |
| commit | a317123ad0885372ce5b4dd0f8c105ad8a18338f (patch) | |
| tree | 117baaf9e44825608f5accc51e3f17db7bbb73ad | |
| parent | 85357d1e5cf56d8aca54e7d4f6cc365b006f484a (diff) | |
| download | rust-a317123ad0885372ce5b4dd0f8c105ad8a18338f.tar.gz rust-a317123ad0885372ce5b4dd0f8c105ad8a18338f.zip | |
fix miri build in bootstrap
| -rw-r--r-- | src/tools/miri/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs index 850478b516c..a7c549cff12 100644 --- a/src/tools/miri/src/lib.rs +++ b/src/tools/miri/src/lib.rs @@ -10,6 +10,7 @@ #![feature(variant_count)] #![feature(yeet_expr)] #![feature(nonzero_ops)] +#![cfg_attr(bootstrap, feature(nonnull_provenance))] #![feature(strict_overflow_ops)] #![feature(pointer_is_aligned_to)] #![feature(ptr_metadata)] |