[IR] update testdata: print else -> ...
This commit is contained in:
committed by
teamcityserver
parent
14dabed85a
commit
2dbd784a6a
@@ -7,7 +7,7 @@ fun test2(d: dynamic): dynamic {
|
||||
val tmp0_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.member(1, 2, 3)
|
||||
else -> tmp0_safe_receiver.member(1, 2, 3)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -3,7 +3,7 @@ fun test(d: dynamic): dynamic {
|
||||
val tmp0_elvis_lhs: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> "other"
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -7,7 +7,7 @@ fun test2(d: dynamic): dynamic {
|
||||
val tmp0_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.member
|
||||
else -> tmp0_safe_receiver.member
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -7,7 +7,7 @@ fun testSafeMemberAssignment(d: dynamic) {
|
||||
val tmp0_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */
|
||||
true -> tmp0_safe_receiver.m = 1
|
||||
else -> tmp0_safe_receiver.m = 1
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+5
-5
@@ -11,35 +11,35 @@ fun testSafeAugmentedMemberAssignment(d: dynamic) {
|
||||
val tmp0_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */
|
||||
true -> tmp0_safe_receiver.m += "+="
|
||||
else -> tmp0_safe_receiver.m += "+="
|
||||
}
|
||||
}
|
||||
{ // BLOCK
|
||||
val tmp1_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null /*~> Unit */
|
||||
true -> tmp1_safe_receiver.m -= "-="
|
||||
else -> tmp1_safe_receiver.m -= "-="
|
||||
}
|
||||
}
|
||||
{ // BLOCK
|
||||
val tmp2_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null /*~> Unit */
|
||||
true -> tmp2_safe_receiver.m *= "*="
|
||||
else -> tmp2_safe_receiver.m *= "*="
|
||||
}
|
||||
}
|
||||
{ // BLOCK
|
||||
val tmp3_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp3_safe_receiver, arg1 = null) -> null /*~> Unit */
|
||||
true -> tmp3_safe_receiver.m /= "/="
|
||||
else -> tmp3_safe_receiver.m /= "/="
|
||||
}
|
||||
}
|
||||
{ // BLOCK
|
||||
val tmp4_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp4_safe_receiver, arg1 = null) -> null /*~> Unit */
|
||||
true -> tmp4_safe_receiver.m %= "%="
|
||||
else -> tmp4_safe_receiver.m %= "%="
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+4
-4
@@ -10,28 +10,28 @@ fun testSafeMemberIncrementDecrement(d: dynamic) {
|
||||
val tmp0_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> ++tmp0_safe_receiver.prefixIncr
|
||||
else -> ++tmp0_safe_receiver.prefixIncr
|
||||
}
|
||||
}
|
||||
val t2: dynamic = { // BLOCK
|
||||
val tmp1_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
|
||||
true -> --tmp1_safe_receiver.prefixDecr
|
||||
else -> --tmp1_safe_receiver.prefixDecr
|
||||
}
|
||||
}
|
||||
val t3: dynamic = { // BLOCK
|
||||
val tmp2_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp2_safe_receiver.postfixIncr++
|
||||
else -> tmp2_safe_receiver.postfixIncr++
|
||||
}
|
||||
}
|
||||
val t4: dynamic = { // BLOCK
|
||||
val tmp3_safe_receiver: dynamic = d
|
||||
when {
|
||||
EQEQ(arg0 = tmp3_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp3_safe_receiver.postfixDecr--
|
||||
else -> tmp3_safe_receiver.postfixDecr--
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -1,14 +1,14 @@
|
||||
fun test1(d: dynamic): Int {
|
||||
return when {
|
||||
d is String -> d /*~> String */.<get-length>()
|
||||
true -> -1
|
||||
else -> -1
|
||||
}
|
||||
}
|
||||
|
||||
fun test2(d: dynamic): Int {
|
||||
return when {
|
||||
d is Array<*> -> d /*~> Array<out Any?> */.<get-size>()
|
||||
true -> -1
|
||||
else -> -1
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -207,7 +207,7 @@ data class Test3 {
|
||||
override fun hashCode(): Int {
|
||||
return when {
|
||||
EQEQ(arg0 = <this>.#anyArrayN, arg1 = null) -> 0
|
||||
true -> dataClassArrayMemberHashCode(arg0 = <this>.#anyArrayN)
|
||||
else -> dataClassArrayMemberHashCode(arg0 = <this>.#anyArrayN)
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+3
-3
@@ -92,7 +92,7 @@ data class Test2 {
|
||||
override fun hashCode(): Int {
|
||||
return when {
|
||||
EQEQ(arg0 = <this>.#x, arg1 = null) -> 0
|
||||
true -> <this>.#x.hashCode()
|
||||
else -> <this>.#x.hashCode()
|
||||
}
|
||||
}
|
||||
|
||||
@@ -163,12 +163,12 @@ data class Test3 {
|
||||
var result: Int = <this>.#d.hashCode()
|
||||
result = result.times(other = 31).plus(other = when {
|
||||
EQEQ(arg0 = <this>.#dn, arg1 = null) -> 0
|
||||
true -> <this>.#dn.hashCode()
|
||||
else -> <this>.#dn.hashCode()
|
||||
})
|
||||
result = result.times(other = 31).plus(other = <this>.#f.hashCode())
|
||||
result = result.times(other = 31).plus(other = when {
|
||||
EQEQ(arg0 = <this>.#df, arg1 = null) -> 0
|
||||
true -> <this>.#df.hashCode()
|
||||
else -> <this>.#df.hashCode()
|
||||
})
|
||||
return result
|
||||
}
|
||||
|
||||
@@ -24,7 +24,7 @@ data class Test1<T : Any?> {
|
||||
override fun hashCode(): Int {
|
||||
return when {
|
||||
EQEQ(arg0 = <this>.#x, arg1 = null) -> 0
|
||||
true -> <this>.#x.hashCode()
|
||||
else -> <this>.#x.hashCode()
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+2
-2
@@ -24,7 +24,7 @@ data class TestData {
|
||||
override fun hashCode(): Int {
|
||||
return when {
|
||||
EQEQ(arg0 = <this>.#nn, arg1 = null) -> 0
|
||||
true -> <this>.#nn.hashCode()
|
||||
else -> <this>.#nn.hashCode()
|
||||
}
|
||||
}
|
||||
|
||||
@@ -62,7 +62,7 @@ inline class TestInline {
|
||||
override fun hashCode(): Int {
|
||||
return when {
|
||||
EQEQ(arg0 = <this>.#nn, arg1 = null) -> 0
|
||||
true -> <this>.#nn.hashCode()
|
||||
else -> <this>.#nn.hashCode()
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+1
-1
@@ -32,7 +32,7 @@ data class Test<T : Any?> {
|
||||
override fun hashCode(): Int {
|
||||
var result: Int = when {
|
||||
EQEQ(arg0 = <this>.#x, arg1 = null) -> 0
|
||||
true -> <this>.#x.hashCode()
|
||||
else -> <this>.#x.hashCode()
|
||||
}
|
||||
result = result.times(other = 31).plus(other = <this>.#y.hashCode())
|
||||
return result
|
||||
|
||||
+1
-1
@@ -7,7 +7,7 @@ fun test2(a: Any?): Int {
|
||||
val tmp0_safe_receiver: Any? = a
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.hashCode()
|
||||
else -> tmp0_safe_receiver.hashCode()
|
||||
}
|
||||
})
|
||||
}
|
||||
|
||||
@@ -1,14 +1,14 @@
|
||||
fun test1(b: Boolean) {
|
||||
when {
|
||||
b -> return Unit
|
||||
true -> false
|
||||
else -> false
|
||||
} /*~> Unit */
|
||||
}
|
||||
|
||||
fun test2(b: Boolean) {
|
||||
when {
|
||||
b -> true
|
||||
true -> return Unit
|
||||
else -> return Unit
|
||||
} /*~> Unit */
|
||||
}
|
||||
|
||||
|
||||
@@ -1,14 +1,14 @@
|
||||
fun test1(a: Boolean, b: Boolean): Boolean {
|
||||
return when {
|
||||
a -> b
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun test2(a: Boolean, b: Boolean): Boolean {
|
||||
return when {
|
||||
a -> true
|
||||
true -> b
|
||||
else -> b
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -4,7 +4,7 @@ fun test1(c: Boolean?) {
|
||||
val tmp0_elvis_lhs: Boolean? = c
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> break
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
})
|
||||
}
|
||||
@@ -16,7 +16,7 @@ fun test2(c: Boolean?) {
|
||||
val tmp0_elvis_lhs: Boolean? = c
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> continue
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
})
|
||||
}
|
||||
@@ -29,7 +29,7 @@ fun test3(ss: List<String>?) {
|
||||
val tmp0_elvis_lhs: List<String>? = ss
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> continue
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
}.iterator()
|
||||
L2@ while (tmp1_iterator.hasNext()) { // BLOCK
|
||||
@@ -46,7 +46,7 @@ fun test4(ss: List<String>?) {
|
||||
val tmp0_elvis_lhs: List<String>? = ss
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> break
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
}.iterator()
|
||||
L2@ while (tmp1_iterator.hasNext()) { // BLOCK
|
||||
@@ -72,7 +72,7 @@ fun test5() {
|
||||
} /*~> Unit */
|
||||
// } while (when {
|
||||
greaterOrEqual(arg0 = j, arg1 = 3) -> false
|
||||
true -> break
|
||||
else -> break
|
||||
})
|
||||
}
|
||||
when {
|
||||
|
||||
@@ -23,22 +23,22 @@ fun test(nc: C?): C? {
|
||||
val tmp0_safe_receiver: C? = nc
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.foo()
|
||||
else -> tmp0_safe_receiver.foo()
|
||||
}
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp1_safe_receiver.bar()
|
||||
else -> tmp1_safe_receiver.bar()
|
||||
}
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp2_safe_receiver.foo()
|
||||
else -> tmp2_safe_receiver.foo()
|
||||
}
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = tmp3_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp3_safe_receiver.foo()
|
||||
else -> tmp3_safe_receiver.foo()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -14,14 +14,14 @@ fun test3() {
|
||||
val tmp0_safe_receiver: @FlexibleNullability PrintStream? = super.#out
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver /*!! PrintStream */.println(p0 = "Hello,")
|
||||
else -> tmp0_safe_receiver /*!! PrintStream */.println(p0 = "Hello,")
|
||||
}
|
||||
} /*~> Unit */
|
||||
{ // BLOCK
|
||||
val tmp1_safe_receiver: @FlexibleNullability PrintStream? = super.#out
|
||||
when {
|
||||
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp1_safe_receiver /*!! PrintStream */.println(p0 = "world!")
|
||||
else -> tmp1_safe_receiver /*!! PrintStream */.println(p0 = "world!")
|
||||
}
|
||||
} /*~> Unit */
|
||||
}
|
||||
|
||||
@@ -7,7 +7,7 @@ fun lengthN(s: String?): Int? {
|
||||
val tmp0_safe_receiver: String? = s
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.<get-length>()
|
||||
else -> tmp0_safe_receiver.<get-length>()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+5
-5
@@ -11,7 +11,7 @@ fun test1(a: Any?, b: Any): Any {
|
||||
val tmp0_elvis_lhs: Any? = a
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> b
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -21,7 +21,7 @@ fun test2(a: String?, b: Any): Any {
|
||||
val tmp0_elvis_lhs: String? = a
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> b
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -37,7 +37,7 @@ fun test3(a: Any?, b: Any?): String {
|
||||
val tmp0_elvis_lhs: Any? = a
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> b /*as String */
|
||||
true -> tmp0_elvis_lhs /*as String */
|
||||
else -> tmp0_elvis_lhs /*as String */
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -47,7 +47,7 @@ fun test4(x: Any): Any {
|
||||
val tmp0_elvis_lhs: Any? = <get-p>()
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> x
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -57,7 +57,7 @@ fun test5(x: Any): Any {
|
||||
val tmp0_elvis_lhs: Any? = foo()
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> x
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -19,7 +19,7 @@ fun testVariableAssignment_throws(a: A) {
|
||||
val tmp0_subject: A = a
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = A.V1) -> x = 11
|
||||
true -> noWhenBranchMatchedException()
|
||||
else -> noWhenBranchMatchedException()
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -56,7 +56,7 @@ fun testExpression_throws(a: A): Int {
|
||||
val tmp0_subject: A = a
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = A.V1) -> 1
|
||||
true -> noWhenBranchMatchedException()
|
||||
else -> noWhenBranchMatchedException()
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -64,7 +64,7 @@ fun testExpression_throws(a: A): Int {
|
||||
fun testIfTheElseStatement_empty(a: A, flag: Boolean) {
|
||||
when {
|
||||
flag -> 0 /*~> Unit */
|
||||
true -> { // BLOCK
|
||||
else -> { // BLOCK
|
||||
{ // BLOCK
|
||||
val tmp0_subject: A = a
|
||||
when {
|
||||
@@ -78,7 +78,7 @@ fun testIfTheElseStatement_empty(a: A, flag: Boolean) {
|
||||
fun testIfTheElseParenthesized_throwsJvm(a: A, flag: Boolean) {
|
||||
when {
|
||||
flag -> 0 /*~> Unit */
|
||||
true -> { // BLOCK
|
||||
else -> { // BLOCK
|
||||
{ // BLOCK
|
||||
val tmp0_subject: A = a
|
||||
when {
|
||||
@@ -92,7 +92,7 @@ fun testIfTheElseParenthesized_throwsJvm(a: A, flag: Boolean) {
|
||||
fun testIfTheElseAnnotated_throwsJvm(a: A, flag: Boolean) {
|
||||
when {
|
||||
flag -> 0 /*~> Unit */
|
||||
true -> { // BLOCK
|
||||
else -> { // BLOCK
|
||||
{ // BLOCK
|
||||
val tmp0_subject: A = a
|
||||
when {
|
||||
@@ -109,7 +109,7 @@ fun testLambdaResultExpression_throws(a: A) {
|
||||
val tmp0_subject: A = a
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = A.V1) -> 1
|
||||
true -> noWhenBranchMatchedException()
|
||||
else -> noWhenBranchMatchedException()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -3,7 +3,7 @@ fun test(receiver: Any?, fn: @ExtensionFunctionType Function3<Any, Int, String,
|
||||
val tmp0_safe_receiver: Any? = receiver
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> fn.invoke(p1 = tmp0_safe_receiver, p2 = 42, p3 = "Hello")
|
||||
else -> fn.invoke(p1 = tmp0_safe_receiver, p2 = 42, p3 = "Hello")
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Vendored
+4
-4
@@ -2,9 +2,9 @@ fun testD(x: Comparable<Double>, y: Comparable<Double>): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> less(arg0 = x /*as Double */, arg1 = y /*as Double */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -12,9 +12,9 @@ fun testF(x: Comparable<Float>, y: Comparable<Float>): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> less(arg0 = x /*as Float */, arg1 = y /*as Float */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+1
-1
@@ -1,7 +1,7 @@
|
||||
fun test(x: Any): Boolean {
|
||||
return EQEQ(arg0 = x, arg1 = when {
|
||||
x !is Double -> CHECK_NOT_NULL<Nothing>(arg0 = null)
|
||||
true -> x /*as Double */
|
||||
else -> x /*as Double */
|
||||
})
|
||||
}
|
||||
|
||||
|
||||
Vendored
+12
-12
@@ -5,7 +5,7 @@ fun test1d(x: Double, y: Double): Int {
|
||||
fun test2d(x: Double, y: Any): Boolean {
|
||||
return when {
|
||||
y is Double -> EQEQ(arg0 = x.compareTo(other = y /*as Double */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -13,9 +13,9 @@ fun test3d(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> EQEQ(arg0 = x /*as Double */.compareTo(other = y /*as Double */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -26,7 +26,7 @@ fun test1f(x: Float, y: Float): Int {
|
||||
fun test2f(x: Float, y: Any): Boolean {
|
||||
return when {
|
||||
y is Float -> EQEQ(arg0 = x.compareTo(other = y /*as Float */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -34,9 +34,9 @@ fun test3f(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> EQEQ(arg0 = x /*as Float */.compareTo(other = y /*as Float */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -44,9 +44,9 @@ fun testFD(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> EQEQ(arg0 = x /*as Float */.compareTo(other = y /*as Double */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -54,9 +54,9 @@ fun testDF(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> EQEQ(arg0 = x /*as Double */.compareTo(other = y /*as Float */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -67,14 +67,14 @@ fun Float.test1fr(x: Float): Int {
|
||||
fun Float.test2fr(x: Any): Boolean {
|
||||
return when {
|
||||
x is Float -> EQEQ(arg0 = <this>.compareTo(other = x /*as Float */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun Float.test3fr(x: Any): Boolean {
|
||||
return when {
|
||||
x is Double -> EQEQ(arg0 = <this>.compareTo(other = x /*as Double */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+10
-10
@@ -17,7 +17,7 @@ fun test4d(x: Double, y: Number): Boolean {
|
||||
fun test5d(x: Double, y: Any): Boolean {
|
||||
return when {
|
||||
y is Double -> ieee754equals(arg0 = x, arg1 = y /*as Double */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -25,9 +25,9 @@ fun test6d(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Double */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -50,7 +50,7 @@ fun test4f(x: Float, y: Number): Boolean {
|
||||
fun test5f(x: Float, y: Any): Boolean {
|
||||
return when {
|
||||
y is Float -> ieee754equals(arg0 = x, arg1 = y /*as Float */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -58,9 +58,9 @@ fun test6f(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = x /*as Float */, arg1 = y /*as Float */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -68,9 +68,9 @@ fun testFD(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = x /*as Float */.toDouble(), arg1 = y /*as Double */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -78,9 +78,9 @@ fun testDF(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble())
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Vendored
+12
-12
@@ -17,7 +17,7 @@ fun test4d(x: Double, y: Number): Boolean {
|
||||
fun test5d(x: Double, y: Any): Boolean {
|
||||
return when {
|
||||
y is Double -> x.equals(other = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -25,9 +25,9 @@ fun test6d(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> x.equals(other = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -50,7 +50,7 @@ fun test4f(x: Float, y: Number): Boolean {
|
||||
fun test5f(x: Float, y: Any): Boolean {
|
||||
return when {
|
||||
y is Float -> x.equals(other = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -58,9 +58,9 @@ fun test6f(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> x.equals(other = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -68,9 +68,9 @@ fun testFD(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> x.equals(other = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -78,9 +78,9 @@ fun testDF(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> x.equals(other = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -103,14 +103,14 @@ fun Float.test4fr(x: Number): Boolean {
|
||||
fun Float.test5fr(x: Any): Boolean {
|
||||
return when {
|
||||
x is Float -> <this>.equals(other = x)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun Float.test6fr(x: Any): Boolean {
|
||||
return when {
|
||||
x is Double -> <this>.equals(other = x)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Vendored
+10
-10
@@ -17,7 +17,7 @@ fun test4d(x: Double, y: Number): Boolean {
|
||||
fun test5d(x: Double, y: Any): Boolean {
|
||||
return when {
|
||||
y is Double -> ieee754equals(arg0 = x, arg1 = y /*as Double */).not()
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -25,9 +25,9 @@ fun test6d(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Double */).not()
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -50,7 +50,7 @@ fun test4f(x: Float, y: Number): Boolean {
|
||||
fun test5f(x: Float, y: Any): Boolean {
|
||||
return when {
|
||||
y is Float -> ieee754equals(arg0 = x, arg1 = y /*as Float */).not()
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -58,9 +58,9 @@ fun test6f(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = x /*as Float */, arg1 = y /*as Float */).not()
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -68,9 +68,9 @@ fun testFD(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = x /*as Float */.toDouble(), arg1 = y /*as Double */).not()
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -78,9 +78,9 @@ fun testDF(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble()).not()
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+10
-10
@@ -5,7 +5,7 @@ fun test1d(x: Double, y: Double): Boolean {
|
||||
fun test2d(x: Double, y: Any): Boolean {
|
||||
return when {
|
||||
y is Double -> less(arg0 = x, arg1 = y /*as Double */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -13,9 +13,9 @@ fun test3d(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> less(arg0 = x /*as Double */, arg1 = y /*as Double */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -26,7 +26,7 @@ fun test1f(x: Float, y: Float): Boolean {
|
||||
fun test2f(x: Float, y: Any): Boolean {
|
||||
return when {
|
||||
y is Float -> less(arg0 = x, arg1 = y /*as Float */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -34,9 +34,9 @@ fun test3f(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> less(arg0 = x /*as Float */, arg1 = y /*as Float */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -44,9 +44,9 @@ fun testFD(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Float -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> less(arg0 = x /*as Float */.toDouble(), arg1 = y /*as Double */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -54,9 +54,9 @@ fun testDF(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Double -> y is Float
|
||||
true -> false
|
||||
else -> false
|
||||
} -> less(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble())
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Vendored
+2
-2
@@ -4,10 +4,10 @@ fun test(x: Any?, y: Double): Boolean {
|
||||
val tmp0_safe_receiver: Any? = x
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver /*as Int */.toDouble()
|
||||
else -> tmp0_safe_receiver /*as Int */.toDouble()
|
||||
}
|
||||
}, arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Vendored
+7
-7
@@ -8,10 +8,10 @@ fun testDF(x: Double?, y: Any?): Boolean {
|
||||
val tmp0_safe_receiver: Any? = y
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver /*as Float */.toDouble()
|
||||
else -> tmp0_safe_receiver /*as Float */.toDouble()
|
||||
}
|
||||
})
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -21,10 +21,10 @@ fun testDI(x: Double?, y: Any?): Boolean {
|
||||
val tmp0_safe_receiver: Any? = y
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver /*as Int */.toDouble()
|
||||
else -> tmp0_safe_receiver /*as Int */.toDouble()
|
||||
}
|
||||
})
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -32,15 +32,15 @@ fun testDI2(x: Any?, y: Any?): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Int? -> y is Double
|
||||
true -> false
|
||||
else -> false
|
||||
} -> ieee754equals(arg0 = { // BLOCK
|
||||
val tmp0_safe_receiver: Any? = x
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver /*as Int */.toDouble()
|
||||
else -> tmp0_safe_receiver /*as Int */.toDouble()
|
||||
}
|
||||
}, arg1 = y /*as Double? */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+8
-8
@@ -1,49 +1,49 @@
|
||||
fun <T : Any?> test0(x: Any, y: T): Boolean {
|
||||
return when {
|
||||
x is Int -> EQEQ(arg0 = x, arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun <T : Float> test1(x: Any, y: T): Boolean {
|
||||
return when {
|
||||
x is Float -> ieee754equals(arg0 = x /*as Float */, arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun <T : Double> test2(x: Any, y: T): Boolean {
|
||||
return when {
|
||||
x is Float -> ieee754equals(arg0 = x /*as Float */.toDouble(), arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun <T : Float> test3(x: Any, y: T): Boolean {
|
||||
return when {
|
||||
x is Int -> ieee754equals(arg0 = x /*as Int */.toFloat(), arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun <T : Float?> test4(x: Any, y: T): Boolean {
|
||||
return when {
|
||||
x is Int -> ieee754equals(arg0 = x /*as Int */.toFloat(), arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun <T : Float?, R : T> test5(x: Any, y: R): Boolean {
|
||||
return when {
|
||||
x is Int -> ieee754equals(arg0 = x /*as Int */.toFloat(), arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
fun <T : Number> test6(x: Any, y: T): Boolean {
|
||||
return when {
|
||||
x is Int -> EQEQ(arg0 = x, arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -57,7 +57,7 @@ class F<T : Float> {
|
||||
fun testCapturedType(x: T, y: Any): Boolean {
|
||||
return when {
|
||||
y is Double -> ieee754equals(arg0 = x.toDouble(), arg1 = y /*as Double */)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Vendored
+7
-7
@@ -3,7 +3,7 @@ fun testSimple(x: Double): Int {
|
||||
val tmp0_subject: Double = x
|
||||
when {
|
||||
ieee754equals(arg0 = tmp0_subject, arg1 = 0.0D) -> 0
|
||||
true -> 1
|
||||
else -> 1
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -16,7 +16,7 @@ fun testSmartCastInWhenSubject(x: Any): Int {
|
||||
val tmp0_subject: Any = x
|
||||
when {
|
||||
ieee754equals(arg0 = tmp0_subject /*as Double */, arg1 = 0.0D) -> 0
|
||||
true -> 1
|
||||
else -> 1
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -29,7 +29,7 @@ fun testSmartCastInWhenCondition(x: Double, y: Any): Int {
|
||||
val tmp0_subject: Double = x
|
||||
when {
|
||||
ieee754equals(arg0 = tmp0_subject, arg1 = y /*as Double */) -> 0
|
||||
true -> 1
|
||||
else -> 1
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -40,7 +40,7 @@ fun testSmartCastInWhenConditionInBranch(x: Any): Int {
|
||||
when {
|
||||
tmp0_subject is Double.not() -> -1
|
||||
ieee754equals(arg0 = tmp0_subject /*as Double */, arg1 = 0.0D) -> 0
|
||||
true -> 1
|
||||
else -> 1
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -56,7 +56,7 @@ fun testSmartCastToDifferentTypes(x: Any, y: Any): Int {
|
||||
val tmp0_subject: Any = x
|
||||
when {
|
||||
ieee754equals(arg0 = tmp0_subject /*as Double */, arg1 = y /*as Float */.toDouble()) -> 0
|
||||
true -> 1
|
||||
else -> 1
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -71,9 +71,9 @@ fun testWithPrematureExitInConditionSubexpression(x: Any): Int {
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = foo(x = when {
|
||||
x !is Double -> return 42
|
||||
true -> x /*as Double */
|
||||
else -> x /*as Double */
|
||||
})) -> 0
|
||||
true -> 1
|
||||
else -> 1
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+5
-5
@@ -2,7 +2,7 @@ fun test(i: Int): Int {
|
||||
return when {
|
||||
greater(arg0 = i, arg1 = 0) -> 1
|
||||
less(arg0 = i, arg1 = 0) -> -1
|
||||
true -> 0
|
||||
else -> 0
|
||||
}
|
||||
}
|
||||
|
||||
@@ -10,7 +10,7 @@ fun testEmptyBranches1(flag: Boolean) {
|
||||
when {
|
||||
flag -> { // BLOCK
|
||||
}
|
||||
true -> true /*~> Unit */
|
||||
else -> true /*~> Unit */
|
||||
}
|
||||
when {
|
||||
flag -> true /*~> Unit */
|
||||
@@ -21,11 +21,11 @@ fun testEmptyBranches2(flag: Boolean) {
|
||||
when {
|
||||
flag -> { // BLOCK
|
||||
}
|
||||
true -> true /*~> Unit */
|
||||
else -> true /*~> Unit */
|
||||
}
|
||||
when {
|
||||
flag -> true /*~> Unit */
|
||||
true -> { // BLOCK
|
||||
else -> { // BLOCK
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -34,7 +34,7 @@ fun testEmptyBranches3(flag: Boolean) {
|
||||
when {
|
||||
flag -> { // BLOCK
|
||||
}
|
||||
true -> true /*~> Unit */
|
||||
else -> true /*~> Unit */
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -1,28 +1,28 @@
|
||||
fun test1(x: String?): Int {
|
||||
return when {
|
||||
EQEQ(arg0 = x, arg1 = null) -> 0
|
||||
true -> x.<get-length>()
|
||||
else -> x.<get-length>()
|
||||
}
|
||||
}
|
||||
|
||||
fun <T : CharSequence?> test2(x: T): Int {
|
||||
return when {
|
||||
EQEQ(arg0 = x, arg1 = null) -> 0
|
||||
true -> x.<get-length>()
|
||||
else -> x.<get-length>()
|
||||
}
|
||||
}
|
||||
|
||||
inline fun <reified T : CharSequence?> test3(x: Any): Int {
|
||||
return when {
|
||||
x !is T -> 0
|
||||
true -> x /*as CharSequence */.<get-length>()
|
||||
else -> x /*as CharSequence */.<get-length>()
|
||||
}
|
||||
}
|
||||
|
||||
inline fun <reified T : CharSequence> test4(x: Any?): Int {
|
||||
return when {
|
||||
x !is T -> 0
|
||||
true -> x /*as CharSequence */.<get-length>()
|
||||
else -> x /*as CharSequence */.<get-length>()
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
inline fun <reified T : Any> Any.test1(): T? {
|
||||
return when {
|
||||
<this> is T -> <this> /*as T */
|
||||
true -> null
|
||||
else -> null
|
||||
}
|
||||
}
|
||||
|
||||
@@ -13,7 +13,7 @@ val <reified T : Any> Foo<T>.asT: T?
|
||||
inline get(): T? {
|
||||
return when {
|
||||
<this> is T -> <this> /*as T */
|
||||
true -> null
|
||||
else -> null
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+2
-2
@@ -52,7 +52,7 @@ fun test(b: Boolean) {
|
||||
val d2: Derived2 = Derived2()
|
||||
val k: Any = when {
|
||||
b -> d1
|
||||
true -> d2
|
||||
else -> d2
|
||||
}
|
||||
k /*as JFieldOwner */super.#f = 42
|
||||
k /*as JFieldOwner */super.#f /*~> Unit */
|
||||
@@ -60,7 +60,7 @@ fun test(b: Boolean) {
|
||||
val md2: DerivedThroughMid2 = DerivedThroughMid2()
|
||||
val mk: Any = when {
|
||||
b -> md1
|
||||
true -> md2
|
||||
else -> md2
|
||||
}
|
||||
mk /*as Mid */super.#f = 44
|
||||
mk /*as Mid */super.#f /*~> Unit */
|
||||
|
||||
@@ -20,7 +20,7 @@ class TestClass {
|
||||
|
||||
val test: Int
|
||||
field = when {
|
||||
true -> { // BLOCK
|
||||
else -> { // BLOCK
|
||||
super.#out /*!! PrintStream */.println(p0 = "TestClass/test")
|
||||
42
|
||||
}
|
||||
|
||||
+6
-6
@@ -10,9 +10,9 @@ fun testOverloadedCompareToCallWithSmartCast(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Int -> y is Char
|
||||
true -> false
|
||||
else -> false
|
||||
} -> less(arg0 = x /*as Int */.compareTo(c = y /*as Char */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -20,9 +20,9 @@ fun testEqualsWithSmartCast(x: Any, y: Any): Boolean {
|
||||
return when {
|
||||
when {
|
||||
x is Int -> y is Char
|
||||
true -> false
|
||||
else -> false
|
||||
} -> EQEQ(arg0 = x, arg1 = y)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
@@ -45,9 +45,9 @@ class C {
|
||||
return when {
|
||||
when {
|
||||
x is Int -> y is Char
|
||||
true -> false
|
||||
else -> false
|
||||
} -> less(arg0 = (<this>, x /*as Int */).compareTo(c = y /*as Char */), arg1 = 0)
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
+1
-1
@@ -3,7 +3,7 @@ fun box(): String {
|
||||
when {
|
||||
EQEQ(arg0 = r, arg1 = "").not() -> { // BLOCK
|
||||
}
|
||||
true -> r = r.plus(other = "O")
|
||||
else -> r = r.plus(other = "O")
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = r, arg1 = "O") -> r = r.plus(other = "K")
|
||||
|
||||
+2
-2
@@ -18,14 +18,14 @@ fun test(x: X, nx: X?) {
|
||||
val tmp1_safe_receiver: X? = nx
|
||||
when {
|
||||
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp1_safe_receiver.<get-xs>()
|
||||
else -> tmp1_safe_receiver.<get-xs>()
|
||||
}
|
||||
}).plusAssign<Int>(element = 5)
|
||||
CHECK_NOT_NULL<MutableList<Any>>(arg0 = { // BLOCK
|
||||
val tmp2_safe_receiver: X? = nx
|
||||
when {
|
||||
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp2_safe_receiver.f()
|
||||
else -> tmp2_safe_receiver.f()
|
||||
}
|
||||
}).plusAssign<Int>(element = 6)
|
||||
}
|
||||
|
||||
+12
-12
@@ -7,7 +7,7 @@ fun <T : Any?> test(value: T, value2: T) {
|
||||
val tmp0_elvis_lhs: T = value
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> 42
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
}
|
||||
val x2: Any = { // BLOCK
|
||||
@@ -17,10 +17,10 @@ fun <T : Any?> test(value: T, value2: T) {
|
||||
val tmp1_elvis_lhs: T = value2
|
||||
when {
|
||||
EQEQ(arg0 = tmp1_elvis_lhs, arg1 = null) -> 42
|
||||
true -> tmp1_elvis_lhs
|
||||
else -> tmp1_elvis_lhs
|
||||
}
|
||||
}
|
||||
true -> tmp2_elvis_lhs
|
||||
else -> tmp2_elvis_lhs
|
||||
}
|
||||
}
|
||||
val x3: Any = { // BLOCK
|
||||
@@ -28,12 +28,12 @@ fun <T : Any?> test(value: T, value2: T) {
|
||||
val tmp3_elvis_lhs: T = value
|
||||
when {
|
||||
EQEQ(arg0 = tmp3_elvis_lhs, arg1 = null) -> value2
|
||||
true -> tmp3_elvis_lhs
|
||||
else -> tmp3_elvis_lhs
|
||||
}
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = tmp4_elvis_lhs, arg1 = null) -> 42
|
||||
true -> tmp4_elvis_lhs
|
||||
else -> tmp4_elvis_lhs
|
||||
}
|
||||
}
|
||||
val x4: Any = { // BLOCK
|
||||
@@ -41,19 +41,19 @@ fun <T : Any?> test(value: T, value2: T) {
|
||||
val tmp5_elvis_lhs: T = value
|
||||
when {
|
||||
EQEQ(arg0 = tmp5_elvis_lhs, arg1 = null) -> value2
|
||||
true -> tmp5_elvis_lhs
|
||||
else -> tmp5_elvis_lhs
|
||||
}
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = tmp6_elvis_lhs, arg1 = null) -> 42
|
||||
true -> tmp6_elvis_lhs
|
||||
else -> tmp6_elvis_lhs
|
||||
}
|
||||
}
|
||||
val x5: Any = { // BLOCK
|
||||
val tmp7_elvis_lhs: Any? = magic<Any?>()
|
||||
when {
|
||||
EQEQ(arg0 = tmp7_elvis_lhs, arg1 = null) -> 42
|
||||
true -> tmp7_elvis_lhs
|
||||
else -> tmp7_elvis_lhs
|
||||
}
|
||||
}
|
||||
val x6: Any = { // BLOCK
|
||||
@@ -61,12 +61,12 @@ fun <T : Any?> test(value: T, value2: T) {
|
||||
val tmp8_elvis_lhs: T = value
|
||||
when {
|
||||
EQEQ(arg0 = tmp8_elvis_lhs, arg1 = null) -> magic<Any?>()
|
||||
true -> tmp8_elvis_lhs
|
||||
else -> tmp8_elvis_lhs
|
||||
}
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = tmp9_elvis_lhs, arg1 = null) -> 42
|
||||
true -> tmp9_elvis_lhs
|
||||
else -> tmp9_elvis_lhs
|
||||
}
|
||||
}
|
||||
val x7: Any = { // BLOCK
|
||||
@@ -74,12 +74,12 @@ fun <T : Any?> test(value: T, value2: T) {
|
||||
val tmp10_elvis_lhs: Any? = magic<Any?>()
|
||||
when {
|
||||
EQEQ(arg0 = tmp10_elvis_lhs, arg1 = null) -> value
|
||||
true -> tmp10_elvis_lhs
|
||||
else -> tmp10_elvis_lhs
|
||||
}
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = tmp11_elvis_lhs, arg1 = null) -> 42
|
||||
true -> tmp11_elvis_lhs
|
||||
else -> tmp11_elvis_lhs
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -17,7 +17,7 @@ fun test(nc: C?) {
|
||||
val tmp0_safe_receiver: C? = nc
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */
|
||||
true -> tmp0_safe_receiver.<set-x>(<set-?> = 42)
|
||||
else -> tmp0_safe_receiver.<set-x>(<set-?> = 42)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+3
-3
@@ -21,7 +21,7 @@ operator fun Int?.inc(): Int? {
|
||||
val tmp0_safe_receiver: Int? = <this>
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.inc()
|
||||
else -> tmp0_safe_receiver.inc()
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -38,7 +38,7 @@ fun testProperty(nc: C?) {
|
||||
val tmp0_safe_receiver: C? = nc
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> { // BLOCK
|
||||
else -> { // BLOCK
|
||||
val tmp1_receiver: C? = tmp0_safe_receiver
|
||||
{ // BLOCK
|
||||
val tmp2: Int = tmp1_receiver.<get-p>()
|
||||
@@ -56,7 +56,7 @@ fun testArrayAccess(nc: C?) {
|
||||
val tmp0_safe_receiver: C? = nc
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.<get-p>()
|
||||
else -> tmp0_safe_receiver.<get-p>()
|
||||
}
|
||||
}
|
||||
val tmp2_index0: Int = 0
|
||||
|
||||
@@ -24,7 +24,7 @@ fun test1(x: String?): Int? {
|
||||
val tmp0_safe_receiver: String? = x
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.<get-length>()
|
||||
else -> tmp0_safe_receiver.<get-length>()
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -34,7 +34,7 @@ fun test2(x: String?): Int? {
|
||||
val tmp0_safe_receiver: String? = x
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.hashCode()
|
||||
else -> tmp0_safe_receiver.hashCode()
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -44,7 +44,7 @@ fun test3(x: String?, y: Any?): Boolean? {
|
||||
val tmp0_safe_receiver: String? = x
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.equals(other = y)
|
||||
else -> tmp0_safe_receiver.equals(other = y)
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -54,7 +54,7 @@ fun test4(x: Ref?) {
|
||||
val tmp0_safe_receiver: Ref? = x
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */
|
||||
true -> tmp0_safe_receiver.<set-value>(<set-?> = 0)
|
||||
else -> tmp0_safe_receiver.<set-value>(<set-?> = 0)
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -64,7 +64,7 @@ fun IHost.test5(s: String?): Int? {
|
||||
val tmp0_safe_receiver: String? = s
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> (<this>, tmp0_safe_receiver).extLength()
|
||||
else -> (<this>, tmp0_safe_receiver).extLength()
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -78,7 +78,7 @@ fun box() {
|
||||
val tmp0_safe_receiver: Int = 42
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.foo()
|
||||
else -> tmp0_safe_receiver.foo()
|
||||
}
|
||||
} /*~> Unit */
|
||||
}
|
||||
|
||||
@@ -24,7 +24,7 @@ fun J.test3(a: Function0<Unit>) {
|
||||
fun J.test4(a: Function0<Unit>, b: Function0<Unit>, flag: Boolean) {
|
||||
<this>.runIt(r = when {
|
||||
flag -> a
|
||||
true -> b
|
||||
else -> b
|
||||
} /*-> @FlexibleNullability Runnable? */)
|
||||
}
|
||||
|
||||
|
||||
+1
-1
@@ -17,7 +17,7 @@ enum class En : Enum<En> {
|
||||
val tmp0_safe_receiver: Any? = <get-n>()
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.toString()
|
||||
else -> tmp0_safe_receiver.toString()
|
||||
}
|
||||
})
|
||||
|
||||
|
||||
@@ -13,7 +13,7 @@ class C {
|
||||
val tmp0_safe_receiver: Any? = x
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.toString()
|
||||
else -> tmp0_safe_receiver.toString()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
fun test1(x: Any): Boolean {
|
||||
return when {
|
||||
x is Array<*> -> x /*as Array<*> */.isArrayOf<String>()
|
||||
true -> false
|
||||
else -> false
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -23,12 +23,12 @@ fun test4(ns: String?): String? {
|
||||
val tmp0_safe_receiver: String? = ns
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.k()
|
||||
else -> tmp0_safe_receiver.k()
|
||||
}
|
||||
}
|
||||
when {
|
||||
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp1_safe_receiver.invoke()
|
||||
else -> tmp1_safe_receiver.invoke()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+9
-9
@@ -16,7 +16,7 @@ fun testWithSubject(x: Any?): String {
|
||||
tmp0_subject is String -> "String"
|
||||
tmp0_subject is Number.not() -> "!Number"
|
||||
setOf<Nothing>().contains<Number>(element = tmp0_subject /*as Number */) -> "nothingness?"
|
||||
true -> "something"
|
||||
else -> "something"
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -28,7 +28,7 @@ fun test(x: Any?): String {
|
||||
x is String -> "String"
|
||||
x !is Number -> "!Number"
|
||||
setOf<Nothing>().contains<Number>(element = x /*as Number */) -> "nothingness?"
|
||||
true -> "something"
|
||||
else -> "something"
|
||||
}
|
||||
}
|
||||
|
||||
@@ -40,24 +40,24 @@ fun testComma(x: Int): String {
|
||||
when {
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = 1) -> true
|
||||
true -> EQEQ(arg0 = tmp0_subject, arg1 = 2)
|
||||
else -> EQEQ(arg0 = tmp0_subject, arg1 = 2)
|
||||
} -> true
|
||||
true -> EQEQ(arg0 = tmp0_subject, arg1 = 3)
|
||||
else -> EQEQ(arg0 = tmp0_subject, arg1 = 3)
|
||||
} -> true
|
||||
true -> EQEQ(arg0 = tmp0_subject, arg1 = 4)
|
||||
else -> EQEQ(arg0 = tmp0_subject, arg1 = 4)
|
||||
} -> "1234"
|
||||
when {
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = 5) -> true
|
||||
true -> EQEQ(arg0 = tmp0_subject, arg1 = 6)
|
||||
else -> EQEQ(arg0 = tmp0_subject, arg1 = 6)
|
||||
} -> true
|
||||
true -> EQEQ(arg0 = tmp0_subject, arg1 = 7)
|
||||
else -> EQEQ(arg0 = tmp0_subject, arg1 = 7)
|
||||
} -> "567"
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = 8) -> true
|
||||
true -> EQEQ(arg0 = tmp0_subject, arg1 = 9)
|
||||
else -> EQEQ(arg0 = tmp0_subject, arg1 = 9)
|
||||
} -> "89"
|
||||
true -> "?"
|
||||
else -> "?"
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+1
-1
@@ -1,6 +1,6 @@
|
||||
fun test(): Int {
|
||||
return when {
|
||||
true -> 42
|
||||
else -> 42
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -6,7 +6,7 @@ fun toString(grade: String): String {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = "B") -> return "Good"
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = "C") -> return "Mediocre"
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = "D") -> return "Fair"
|
||||
true -> return "Failure"
|
||||
else -> return "Failure"
|
||||
}
|
||||
}
|
||||
return "???"
|
||||
|
||||
@@ -5,11 +5,11 @@ fun test(b: Boolean, i: Int) {
|
||||
val tmp0_subject: Int = i
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_subject, arg1 = 0) -> 1 /*~> Unit */
|
||||
true -> null /*~> Unit */
|
||||
else -> null /*~> Unit */
|
||||
}
|
||||
}
|
||||
}
|
||||
true -> null /*~> Unit */
|
||||
else -> null /*~> Unit */
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -11,7 +11,7 @@ fun test(): Int {
|
||||
y is Int.not() -> 2
|
||||
0.rangeTo(other = 10).contains(value = y /*as Int */) -> 3
|
||||
10.rangeTo(other = 20).contains(value = y /*as Int */).not() -> 4
|
||||
true -> -1
|
||||
else -> -1
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@@ -54,7 +54,7 @@ fun resolveClashesIfAny(container: ComponentContainer, clashResolvers: List<Plat
|
||||
val tmp1_elvis_lhs: Collection<ComponentDescriptor>? = <get-registrationMap>().get(key = resolver.<get-applicableTo>()) as? Collection<ComponentDescriptor>
|
||||
when {
|
||||
EQEQ(arg0 = tmp1_elvis_lhs, arg1 = null) -> continue
|
||||
true -> tmp1_elvis_lhs
|
||||
else -> tmp1_elvis_lhs
|
||||
}
|
||||
}
|
||||
val substituteDescriptor: ClashResolutionDescriptor<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>> = ClashResolutionDescriptor<PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>>(container = container, resolver = resolver, clashedComponents = clashedComponents.toList<ComponentDescriptor>())
|
||||
|
||||
@@ -24,7 +24,7 @@ data class Some<T : Any?> {
|
||||
override fun hashCode(): Int {
|
||||
return when {
|
||||
EQEQ(arg0 = <this>.#value, arg1 = null) -> 0
|
||||
true -> <this>.#value.hashCode()
|
||||
else -> <this>.#value.hashCode()
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@@ -45,7 +45,7 @@ fun foo(candidate: Candidate) {
|
||||
when {
|
||||
when {
|
||||
me is FirCallableMemberDeclaration<*> -> EQEQ(arg0 = me /*as FirCallableMemberDeclaration<out FirCallableMemberDeclaration<*>> */.<get-symbol>(), arg1 = null).not()
|
||||
true -> false
|
||||
else -> false
|
||||
} -> { // BLOCK
|
||||
}
|
||||
}
|
||||
|
||||
@@ -10,7 +10,7 @@ private fun Reader.nextChar(): Char? {
|
||||
)
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.toChar()
|
||||
else -> tmp0_safe_receiver.toChar()
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -19,20 +19,20 @@ fun Reader.consumeRestOfQuotedSequence(sb: StringBuilder, quote: Char) {
|
||||
var ch: Char? = <this>.nextChar()
|
||||
while (when {
|
||||
EQEQ(arg0 = ch, arg1 = null).not() -> EQEQ(arg0 = ch, arg1 = quote).not()
|
||||
true -> false
|
||||
else -> false
|
||||
}) { // BLOCK
|
||||
when {
|
||||
EQEQ(arg0 = ch, arg1 = <get-BACKSLASH>()) -> { // BLOCK
|
||||
val tmp0_safe_receiver: Char? = <this>.nextChar()
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||
true -> tmp0_safe_receiver.let<Char, @FlexibleNullability StringBuilder?>(block = local fun <anonymous>(it: Char): @FlexibleNullability StringBuilder? {
|
||||
else -> tmp0_safe_receiver.let<Char, @FlexibleNullability StringBuilder?>(block = local fun <anonymous>(it: Char): @FlexibleNullability StringBuilder? {
|
||||
return sb.append(p0 = it)
|
||||
}
|
||||
)
|
||||
}
|
||||
} /*~> Unit */
|
||||
true -> sb.append(p0 = ch) /*~> Unit */
|
||||
else -> sb.append(p0 = ch) /*~> Unit */
|
||||
}
|
||||
ch = <this>.nextChar()
|
||||
}
|
||||
|
||||
+2
-2
@@ -19,7 +19,7 @@ fun test1(): Int {
|
||||
}
|
||||
}
|
||||
}
|
||||
true -> return 3
|
||||
else -> return 3
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -36,7 +36,7 @@ fun test2(): Int {
|
||||
EQEQ(arg0 = tmp1_subject, arg1 = 2) -> return 2
|
||||
}
|
||||
}
|
||||
true -> return 3
|
||||
else -> return 3
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
+1
-1
@@ -1,7 +1,7 @@
|
||||
fun <K1 : Any?, V1 : Any?> Map<out K1, V1>.plus(pair: Pair<K1, V1>): Map<K1, V1> {
|
||||
return when {
|
||||
<this>.isEmpty() -> mapOf<K1, V1>(pair = pair)
|
||||
true -> LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>(p0 = <this>).apply<LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>>(block = local fun LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>.<anonymous>() {
|
||||
else -> LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>(p0 = <this>).apply<LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>>(block = local fun LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>.<anonymous>() {
|
||||
<this>.put(key = pair.<get-first>(), value = pair.<get-second>()) /*~> Unit */
|
||||
}
|
||||
)
|
||||
|
||||
@@ -42,7 +42,7 @@ private fun CoroutineScope.asFairChannel(flow: Flow<*>): ReceiveChannel<Any> {
|
||||
val tmp0_elvis_lhs: Any? = value
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> Any()
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
})
|
||||
}
|
||||
@@ -58,7 +58,7 @@ private fun CoroutineScope.asChannel(flow: Flow<*>): ReceiveChannel<Any> {
|
||||
val tmp0_elvis_lhs: Any? = value
|
||||
when {
|
||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> Any()
|
||||
true -> tmp0_elvis_lhs
|
||||
else -> tmp0_elvis_lhs
|
||||
}
|
||||
})
|
||||
}
|
||||
|
||||
@@ -34,7 +34,7 @@ fun foo(): Any {
|
||||
val nn: C = C()
|
||||
val c: Any = when {
|
||||
true -> mm
|
||||
true -> nn
|
||||
else -> nn
|
||||
}
|
||||
return c
|
||||
}
|
||||
|
||||
@@ -34,7 +34,7 @@ fun foo(): Any {
|
||||
val nn: C = C()
|
||||
val c: Any = when {
|
||||
true -> mm
|
||||
true -> nn
|
||||
else -> nn
|
||||
}
|
||||
return c
|
||||
}
|
||||
|
||||
@@ -38,7 +38,7 @@ class B : I, J {
|
||||
fun testIntersection(a: A, b: B) {
|
||||
val v: K = when {
|
||||
true -> a
|
||||
true -> b
|
||||
else -> b
|
||||
}
|
||||
v /*as I */.ff()
|
||||
}
|
||||
@@ -46,7 +46,7 @@ fun testIntersection(a: A, b: B) {
|
||||
fun testFlexible1() {
|
||||
val v: @FlexibleNullability K? = when {
|
||||
true -> a()
|
||||
true -> b()
|
||||
else -> b()
|
||||
}
|
||||
v /*!! K */ /*as I */.ff()
|
||||
}
|
||||
@@ -54,7 +54,7 @@ fun testFlexible1() {
|
||||
fun testFlexible2(a: A, b: B) {
|
||||
val v: @FlexibleNullability K? = when {
|
||||
true -> id<@FlexibleNullability A?>(x = a)
|
||||
true -> id<@FlexibleNullability B?>(x = b)
|
||||
else -> id<@FlexibleNullability B?>(x = b)
|
||||
}
|
||||
v /*!! K */ /*as I */.ff()
|
||||
}
|
||||
|
||||
@@ -16,14 +16,14 @@ open class A {
|
||||
fun testA1(x: Any): Int? {
|
||||
return when {
|
||||
x is B -> x /*as B */.f()
|
||||
true -> null
|
||||
else -> null
|
||||
}
|
||||
}
|
||||
|
||||
fun testA2(x: Any): Int? {
|
||||
return when {
|
||||
x is B -> x /*as B */.<get-aVal>()
|
||||
true -> null
|
||||
else -> null
|
||||
}
|
||||
}
|
||||
|
||||
@@ -39,14 +39,14 @@ class B : A {
|
||||
fun testB1(x: Any): Int? {
|
||||
return when {
|
||||
x is B -> x /*as B */.f()
|
||||
true -> null
|
||||
else -> null
|
||||
}
|
||||
}
|
||||
|
||||
fun testB2(x: Any): Int? {
|
||||
return when {
|
||||
x is B -> x /*as B */.<get-aVal>()
|
||||
true -> null
|
||||
else -> null
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user