fix miri build in bootstrap

RalfJung · RalfJung · commit 8d7f053a2007 · 2025-06-28T13:47:52.000+02:00
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs
@@ -1,4 +1,5 @@
 #![cfg_attr(bootstrap, feature(cfg_match))]
+#![cfg_attr(bootstrap, feature(nonnull_provenance))]
 #![cfg_attr(not(bootstrap), feature(cfg_select))]
 #![feature(rustc_private)]
 #![feature(float_gamma)]

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#![cfg_attr(bootstrap, feature(cfg_match))]`
	`2`	`+#![cfg_attr(bootstrap, feature(nonnull_provenance))]`
`2`	`3`	`#![cfg_attr(not(bootstrap), feature(cfg_select))]`
`3`	`4`	`#![feature(rustc_private)]`
`4`	`5`	`#![feature(float_gamma)]`