Skip to content

Commit c4acd06

Browse files
authored
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``
2 parents 80dd48b + debee1e commit c4acd06

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

RELEASES.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ Language
55
--------
66

77
- [Stabilize `#[derive(Default)]` on enums with a `#[default]` variant][94457]
8-
- [Stop validating some checks in dead code after functions with uninhabited return types][93313]
8+
- [Teach flow sensitive checks that visibly uninhabited call expressions never return][93313]
99
- [Fix constants not getting dropped if part of a diverging expression][94775]
1010
- [Support unit struct/enum variant in destructuring assignment][95380]
1111
- [Remove mutable_borrow_reservation_conflict lint and allow the code pattern][96268]

0 commit comments

Comments
 (0)