diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-07-01 06:05:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-01 06:05:58 +0200 |
| commit | c4acd06a57f0add28b15a67985ed0d89d00f81d3 (patch) | |
| tree | d8cd03846f11e976e3c26572c3c7618795c350b7 | |
| parent | 80dd48b73f1a570517bcabd8630070a136a252d8 (diff) | |
| parent | debee1e581c91a0af78f9b43d9f7d4a4b5aae210 (diff) | |
| download | rust-c4acd06a57f0add28b15a67985ed0d89d00f81d3.tar.gz rust-c4acd06a57f0add28b15a67985ed0d89d00f81d3.zip | |
Rollup merge of #98734 - tmiasko:uninhabited-calls-release-notes, r=Mark-Simulacrum
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. cc ``@Kixunil``
| -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] |