Skip to content

Commit a317123

Browse files
committed
fix miri build in bootstrap
1 parent 85357d1 commit a317123

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/tools/miri/src/lib.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010
#![feature(variant_count)]
1111
#![feature(yeet_expr)]
1212
#![feature(nonzero_ops)]
13+
#![cfg_attr(bootstrap, feature(nonnull_provenance))]
1314
#![feature(strict_overflow_ops)]
1415
#![feature(pointer_is_aligned_to)]
1516
#![feature(ptr_metadata)]

0 commit comments

Comments
 (0)