Skip to content

Commit 1f71694

Browse files
authored
Update status of DFA exhaustiveness checker
1 parent fd557ac commit 1f71694

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

proposals/KEEP-0442-dfa-exhaustiveness.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
* **Author**: Alejandro Serrano
55
* **Contributors**: Marat Akhin, Nikita Bobko, Nikolay Lunyak, Brian Norman, Roman Venediktov
66
* **Discussion**: [#451](https://github.com/Kotlin/KEEP/discussions/451)
7-
* **Status**: Available in 2.2.20 (under `-Xdata-flow-based-exhaustiveness` flag)
7+
* **Status**: **Stable in 2.3.0**. In 2.2.20 availabled under `-Xdata-flow-based-exhaustiveness` flag
88
* **Related YouTrack issues**:
99
[KT-8781](https://youtrack.jetbrains.com/issue/KT-8781/Consider-making-smart-casts-smart-enough-to-handle-exhaustive-value-sets),
1010
[KTIJ-20749](https://youtrack.jetbrains.com/issue/KTIJ-20749/Exhaustive-when-check-does-not-take-into-account-the-values-excluded-by-previous-if-conditions)

0 commit comments

Comments
 (0)