Mikhail Glukhikh
3663884db2
We report CONDITION_TYPE_MISMATCH on - loop conditions - when branch conditions - binary logic arguments
8 lines
252 B
Kotlin
Vendored
8 lines
252 B
Kotlin
Vendored
// !WITH_NEW_INFERENCE
|
|
fun foo1(b: Boolean, c: Int) {
|
|
if (b && <!CONDITION_TYPE_MISMATCH!>c<!>) {}
|
|
if (b || <!CONDITION_TYPE_MISMATCH!>c<!>) {}
|
|
if (<!CONDITION_TYPE_MISMATCH!>c<!> && b) {}
|
|
if (<!CONDITION_TYPE_MISMATCH!>c<!> || b) {}
|
|
}
|