Tianyu Geng
6a03f31e50
Previously unsafe call is reported as part of InapplicableWrongReceiver. This makes it difficult for the downstream checkers to report different diagnostics.
28 lines
566 B
Kotlin
Vendored
28 lines
566 B
Kotlin
Vendored
// ISSUE: KT-36057
|
|
|
|
fun String.foo() {}
|
|
|
|
fun test_1(a: Any?) {
|
|
when (a) {
|
|
is String, is Any -> a.<!INAPPLICABLE_CANDIDATE!>foo<!>() // Should be Bad
|
|
}
|
|
}
|
|
|
|
fun test_2(a: Any?) {
|
|
if (a is String || a is Any) {
|
|
a.<!INAPPLICABLE_CANDIDATE!>foo<!>() // Should be Bad
|
|
}
|
|
}
|
|
|
|
fun test_3(a: Any?, b: Boolean) {
|
|
when (a) {
|
|
is String, b -> a.<!INAPPLICABLE_CANDIDATE!>foo<!>() // Should be Bad
|
|
}
|
|
}
|
|
|
|
fun test_4(a: Any?, b: Boolean) {
|
|
if (a is String || b) {
|
|
a.<!INAPPLICABLE_CANDIDATE!>foo<!>() // Should be Bad
|
|
}
|
|
}
|