Dmitriy Novozhilov
21 lines
508 B
Kotlin
Vendored
21 lines
508 B
Kotlin
Vendored
// LANGUAGE: +SafeCallsAreAlwaysNullable
|
|
// ISSUE: KT-46860
|
|
|
|
interface A {
|
|
fun foo(): Int
|
|
}
|
|
|
|
fun takeInt(x: Int) {}
|
|
|
|
fun test_1(a: A) {
|
|
val x = <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>a<!UNNECESSARY_SAFE_CALL!>?.<!>foo()<!>
|
|
takeInt(<!TYPE_MISMATCH!>x<!>) // should be an error
|
|
}
|
|
|
|
fun test_2(a: A?) {
|
|
if (a != null) {
|
|
val x = <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int?")!>a<!UNNECESSARY_SAFE_CALL!>?.<!>foo()<!>
|
|
takeInt(<!TYPE_MISMATCH!>x<!>) // should be an error
|
|
}
|
|
}
|