Clear var nullability in loops more accurately #KT-14977 Fixed

This commit is contained in:
Mikhail Glukhikh
2017-04-28 15:42:17 +03:00
committed by Mikhail Glukhikh
parent dc3ea4b6e4
commit fbc1d1a844
4 changed files with 27 additions and 1 deletions
@@ -0,0 +1,15 @@
fun readLine() = "x"
fun foo() {
var line = ""
while (<!SENSELESS_COMPARISON!>line != null<!>) {
line = readLine()
if (<!SENSELESS_COMPARISON!>line != null<!>) {
bar()
}
}
}
fun bar() {}
@@ -0,0 +1,5 @@
package
public fun bar(): kotlin.Unit
public fun foo(): kotlin.Unit
public fun readLine(): kotlin.String