diff --git a/compiler/testData/checkerWithErrorTypes/quick/regressions/kt282.jet b/compiler/testData/checkerWithErrorTypes/quick/regressions/kt282.jet new file mode 100644 index 00000000000..bd6d55ce380 --- /dev/null +++ b/compiler/testData/checkerWithErrorTypes/quick/regressions/kt282.jet @@ -0,0 +1,18 @@ +// KT-282 Nullability in extension functions and in binary calls + +class Set { + fun contains(x : Int) : Boolean = true +} + +fun Set?.plus(x : Int) : Int = 1 + +fun Int?.contains(x : Int) : Boolean = false + +fun f(): Unit { + var set : Set? = null + val i : Int? = null + i + 1 + set + 1 + 1 in set + 1 in 2 +} \ No newline at end of file