Merge pull request #77 from udalov/kt2212

test for KT-2212
2012-06-15 09:37:48 -07:00
parent 2e531ee809 c110309bab
commit 822a726aef
1 changed files with 8 additions and 0 deletions
@@ -0,0 +1,8 @@
 //KT-2212 Incomplete nullability information
 package kt2212
 fun main(args: Array<String>) {
    val x: Int? = 1
    if (x == null) return
    println(x.plus(x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>))
 }