Skip to content

Commit f8829c8

Browse files
committed
Took Wesley's advice: removed "Maybe that is an okay state of affairs ...".
It wasn't adding anything beyond saying that the status quo might be acceptable, which is already implied by the later text.
1 parent 8005858 commit f8829c8

File tree

1 file changed

+7
-8
lines changed

1 file changed

+7
-8
lines changed

posts/2022-09-15-const-eval-safety-rule-revision.md

Lines changed: 7 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -225,14 +225,7 @@ strived to mitigate such breakage *whenever feasible*, via things like
225225

226226
Today, with our current const-eval architecture layered atop Miri, it is not
227227
feasible to ensure that changes such as the [one that injected][PR #97684] issue
228-
[#99923][] go through a future-incompat warning cycle. Maybe that is an okay
229-
state of affairs; it is hard to tell if we will encounter other cases similar to
230-
this in the future as Miri and const-eval continue to evolve.
231-
232-
[PR #97684]: https://github.com/rust-lang/rust/pull/97684
233-
234-
[stability post]: https://blog.rust-lang.org/2014/10/30/Stability.html
235-
228+
[#99923][] go through a future-incompat warning cycle.
236229
The compiler team plans to keep our eye on issues in this space. If we see
237230
evidence that these kinds of changes do cause breakage to a non-trivial number
238231
of crates, then we will investigate further how we might smooth the transition
@@ -241,6 +234,12 @@ against the fact that Miri has very a limited set of developers: the researchers
241234
determining how to define the semantics of unsafe languages like Rust. We do not
242235
want to slow their work down!
243236

237+
238+
[PR #97684]: https://github.com/rust-lang/rust/pull/97684
239+
240+
[stability post]: https://blog.rust-lang.org/2014/10/30/Stability.html
241+
242+
244243
## What you can do for safety's sake
245244

246245
If you observe the `could not evaluate static initializer` message on your crate

0 commit comments

Comments
 (0)