bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #98734 - tmiasko:uninhabited-calls-release-notes, r=Mark-Simulacrum

Browse source 
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``
This commit is contained in:
Matthias Krüger 2022-07-01 06:05:58 +02:00 • committed by GitHub
commit c4acd06a57
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
RELEASES.md
View file

@ -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]