diff --git a/posts/inside-rust/2023-09-29-polonius-update.md b/posts/inside-rust/2023-09-29-polonius-update.md index 5cc1a3395..4274dea60 100644 --- a/posts/inside-rust/2023-09-29-polonius-update.md +++ b/posts/inside-rust/2023-09-29-polonius-update.md @@ -98,7 +98,7 @@ That PR does pass the full 15000+ tests in our suite, but we haven't yet checked Compared to our internal test suite, the vast majority of published crates are expected to build without errors. In that regard, it should be unlikely that issues would be found there, but it will be done regardless. -Current status: ⏳ in-progress, should be finalized right when the PR is just ready to land. +Current status: ⏳ in-progress, the crater run itself will be done just before the PR lands. ### 4. Replace parts of the borrow checker with location-insensitive Polonius