Andrey Breslav
68 lines
1.6 KiB
Plaintext
68 lines
1.6 KiB
Plaintext
fun Int.foo() : Boolean = true
|
|
|
|
fun foo() : Int {
|
|
val s = ""
|
|
val x = 1
|
|
when (x) {
|
|
is * => 1
|
|
is <!INCOMPATIBLE_TYPES!>String<!> => 1
|
|
!is Int => 1
|
|
is Any? => 1
|
|
<!INCOMPATIBLE_TYPES!>s<!> => 1
|
|
1 => 1
|
|
1 + <!UNRESOLVED_REFERENCE!>a<!> => 1
|
|
in 1..<!UNRESOLVED_REFERENCE!>a<!> => 1
|
|
!in 1..<!UNRESOLVED_REFERENCE!>a<!> => 1
|
|
// Commented for KT-621 .<!!UNRESOLVED_REFERENCE!>a<!!> => 1
|
|
// Commented for KT-621 .equals(1).<!!UNRESOLVED_REFERENCE!>a<!!> => 1
|
|
// Commented for KT-621 <!UNNECESSARY_SAFE_CALL!!>?.<!!>equals(1) => 1
|
|
else => 1
|
|
}
|
|
|
|
// Commented for KT-621
|
|
// return when (<!!USELESS_ELVIS!>x<!!>?:null) {
|
|
// <!!UNSAFE_CALL!!>.<!!>foo() => 1
|
|
// .equals(1) => 1
|
|
// ?.equals(1).equals(2) => 1
|
|
// }
|
|
return 0
|
|
}
|
|
|
|
val _type_test : Int = foo() // this is needed to ensure the inferred return type of foo()
|
|
|
|
fun test() {
|
|
val x = 1;
|
|
val s = "";
|
|
|
|
when (x) {
|
|
<!INCOMPATIBLE_TYPES!>s<!> => 1
|
|
is <!INCOMPATIBLE_TYPES!>""<!> => 1
|
|
x => 1
|
|
is 1 => 1
|
|
is <!TYPE_MISMATCH_IN_TUPLE_PATTERN!>(1, 1)<!> => 1
|
|
}
|
|
|
|
val z = (1, 1)
|
|
|
|
when (z) {
|
|
is (*, *) => 1
|
|
is (*, 1) => 1
|
|
is (1, 1) => 1
|
|
is (1, <!INCOMPATIBLE_TYPES!>"1"<!>) => 1
|
|
is <!TYPE_MISMATCH_IN_TUPLE_PATTERN!>(1, "1", *)<!> => 1
|
|
is boo @ (1, <!INCOMPATIBLE_TYPES!>"a"<!>, *) => 1
|
|
is boo @ <!TYPE_MISMATCH_IN_TUPLE_PATTERN!>(1, *)<!> => 1
|
|
}
|
|
|
|
when (z) {
|
|
<!ELSE_MISPLACED_IN_WHEN!>else => 1<!>
|
|
(1, 1) => 2
|
|
}
|
|
|
|
when (z) {
|
|
else => 1
|
|
}
|
|
}
|
|
|
|
val (Int, Int).boo : (Int, Int, Int) = (1, 1, 1)
|