Files
Kirill Rakhman 9949de36c9 [FIR] Fix false negative ARRAY_EQUALITY_OPERATOR_CAN_BE_REPLACED_WITH_EQUALS
... in presence of typealiases.

#KT-61921
2023-09-18 12:13:02 +00:00

26 lines
1.0 KiB
Plaintext
Vendored

FILE: ArrayEqualityCanBeReplacedWithEquals.kt
public final typealias A<T> = R|kotlin/Array<T>|
public final fun foo(p: R|kotlin/Int|): R|kotlin/Unit| {
lval a: R|kotlin/Array<kotlin/Int>| = R|kotlin/arrayOf|<R|kotlin/Int|>(vararg(Int(1), Int(2), Int(3)))
lval b: R|kotlin/Array<kotlin/Int>| = R|kotlin/arrayOf|<R|kotlin/Int|>(vararg(Int(3), Int(2), Int(1)))
lval c: R|A<kotlin/Int>| = R|kotlin/arrayOf|<R|kotlin/Int|>(vararg(Int(3), Int(2), Int(1)))
when () {
==(R|<local>/a|, R|<local>/b|) -> {
}
}
when () {
==(R|<local>/a|, R|<local>/c|) -> {
}
}
}
public final fun testsFromIdea(): R|kotlin/Unit| {
lval a: R|kotlin/Array<kotlin/String>| = R|kotlin/arrayOf|<R|kotlin/String|>(vararg(String(a)))
lval b: R|kotlin/Array<kotlin/String>| = R|<local>/a|
lval c: R|kotlin/Any?| = Null(null)
==(R|<local>/a|, R|<local>/b|)
==(R|<local>/a|, R|<local>/c|)
!=(R|<local>/a|, R|<local>/b|)
}