diff options
| author | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2022-06-30 00:00:00 +0000 |
|---|---|---|
| committer | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2022-06-30 00:00:00 +0000 |
| commit | debee1e581c91a0af78f9b43d9f7d4a4b5aae210 (patch) | |
| tree | a79516a5e8b832c4012b78d83d74cca17307a10b | |
| parent | a9eb9c52f3e8d8b6402e6acc69b9bcfc4f371d58 (diff) | |
| download | rust-debee1e581c91a0af78f9b43d9f7d4a4b5aae210.tar.gz rust-debee1e581c91a0af78f9b43d9f7d4a4b5aae210.zip | |
Update RELEASES.md
Clarify that flow sensitive checks now understand that *visibly* uninhabited call expressions never return. The change influences checks of reachable and unreachable code alike, not just dead code like previous wording would imply.
| -rw-r--r-- | RELEASES.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/RELEASES.md b/RELEASES.md index 7479735012c..eb6ecadcc97 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -5,7 +5,7 @@ Language -------- - [Stabilize `#[derive(Default)]` on enums with a `#[default]` variant][94457] -- [Stop validating some checks in dead code after functions with uninhabited return types][93313] +- [Teach flow sensitive checks that visibly uninhabited call expressions never return][93313] - [Fix constants not getting dropped if part of a diverging expression][94775] - [Support unit struct/enum variant in destructuring assignment][95380] - [Remove mutable_borrow_reservation_conflict lint and allow the code pattern][96268] |