[IR] update testdata: print else -> ...

This commit is contained in:
Zalim Bashorov
2020-11-11 16:31:49 +03:00
committed by teamcityserver
parent 14dabed85a
commit 2dbd784a6a
66 changed files with 221 additions and 221 deletions
+1 -1
View File
@@ -7,7 +7,7 @@ fun test2(d: dynamic): dynamic {
val tmp0_safe_receiver: dynamic = d val tmp0_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_elvis_lhs: dynamic = d
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> "other" 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 val tmp0_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */ EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */
true -> tmp0_safe_receiver.m = 1 else -> tmp0_safe_receiver.m = 1
} }
} }
} }
@@ -11,35 +11,35 @@ fun testSafeAugmentedMemberAssignment(d: dynamic) {
val tmp0_safe_receiver: dynamic = d val tmp0_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */ EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */
true -> tmp0_safe_receiver.m += "+=" else -> tmp0_safe_receiver.m += "+="
} }
} }
{ // BLOCK { // BLOCK
val tmp1_safe_receiver: dynamic = d val tmp1_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null /*~> Unit */ EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null /*~> Unit */
true -> tmp1_safe_receiver.m -= "-=" else -> tmp1_safe_receiver.m -= "-="
} }
} }
{ // BLOCK { // BLOCK
val tmp2_safe_receiver: dynamic = d val tmp2_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null /*~> Unit */ EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null /*~> Unit */
true -> tmp2_safe_receiver.m *= "*=" else -> tmp2_safe_receiver.m *= "*="
} }
} }
{ // BLOCK { // BLOCK
val tmp3_safe_receiver: dynamic = d val tmp3_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp3_safe_receiver, arg1 = null) -> null /*~> Unit */ EQEQ(arg0 = tmp3_safe_receiver, arg1 = null) -> null /*~> Unit */
true -> tmp3_safe_receiver.m /= "/=" else -> tmp3_safe_receiver.m /= "/="
} }
} }
{ // BLOCK { // BLOCK
val tmp4_safe_receiver: dynamic = d val tmp4_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp4_safe_receiver, arg1 = null) -> null /*~> Unit */ EQEQ(arg0 = tmp4_safe_receiver, arg1 = null) -> null /*~> Unit */
true -> tmp4_safe_receiver.m %= "%=" else -> tmp4_safe_receiver.m %= "%="
} }
} }
} }
@@ -10,28 +10,28 @@ fun testSafeMemberIncrementDecrement(d: dynamic) {
val tmp0_safe_receiver: dynamic = d val tmp0_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
true -> ++tmp0_safe_receiver.prefixIncr else -> ++tmp0_safe_receiver.prefixIncr
} }
} }
val t2: dynamic = { // BLOCK val t2: dynamic = { // BLOCK
val tmp1_safe_receiver: dynamic = d val tmp1_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
true -> --tmp1_safe_receiver.prefixDecr else -> --tmp1_safe_receiver.prefixDecr
} }
} }
val t3: dynamic = { // BLOCK val t3: dynamic = { // BLOCK
val tmp2_safe_receiver: dynamic = d val tmp2_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null
true -> tmp2_safe_receiver.postfixIncr++ else -> tmp2_safe_receiver.postfixIncr++
} }
} }
val t4: dynamic = { // BLOCK val t4: dynamic = { // BLOCK
val tmp3_safe_receiver: dynamic = d val tmp3_safe_receiver: dynamic = d
when { when {
EQEQ(arg0 = tmp3_safe_receiver, arg1 = null) -> null 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 { fun test1(d: dynamic): Int {
return when { return when {
d is String -> d /*~> String */.<get-length>() d is String -> d /*~> String */.<get-length>()
true -> -1 else -> -1
} }
} }
fun test2(d: dynamic): Int { fun test2(d: dynamic): Int {
return when { return when {
d is Array<*> -> d /*~> Array<out Any?> */.<get-size>() d is Array<*> -> d /*~> Array<out Any?> */.<get-size>()
true -> -1 else -> -1
} }
} }
@@ -207,7 +207,7 @@ data class Test3 {
override fun hashCode(): Int { override fun hashCode(): Int {
return when { return when {
EQEQ(arg0 = <this>.#anyArrayN, arg1 = null) -> 0 EQEQ(arg0 = <this>.#anyArrayN, arg1 = null) -> 0
true -> dataClassArrayMemberHashCode(arg0 = <this>.#anyArrayN) else -> dataClassArrayMemberHashCode(arg0 = <this>.#anyArrayN)
} }
} }
+3 -3
View File
@@ -92,7 +92,7 @@ data class Test2 {
override fun hashCode(): Int { override fun hashCode(): Int {
return when { return when {
EQEQ(arg0 = <this>.#x, arg1 = null) -> 0 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() var result: Int = <this>.#d.hashCode()
result = result.times(other = 31).plus(other = when { result = result.times(other = 31).plus(other = when {
EQEQ(arg0 = <this>.#dn, arg1 = null) -> 0 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 = <this>.#f.hashCode())
result = result.times(other = 31).plus(other = when { result = result.times(other = 31).plus(other = when {
EQEQ(arg0 = <this>.#df, arg1 = null) -> 0 EQEQ(arg0 = <this>.#df, arg1 = null) -> 0
true -> <this>.#df.hashCode() else -> <this>.#df.hashCode()
}) })
return result return result
} }
@@ -24,7 +24,7 @@ data class Test1<T : Any?> {
override fun hashCode(): Int { override fun hashCode(): Int {
return when { return when {
EQEQ(arg0 = <this>.#x, arg1 = null) -> 0 EQEQ(arg0 = <this>.#x, arg1 = null) -> 0
true -> <this>.#x.hashCode() else -> <this>.#x.hashCode()
} }
} }
+2 -2
View File
@@ -24,7 +24,7 @@ data class TestData {
override fun hashCode(): Int { override fun hashCode(): Int {
return when { return when {
EQEQ(arg0 = <this>.#nn, arg1 = null) -> 0 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 { override fun hashCode(): Int {
return when { return when {
EQEQ(arg0 = <this>.#nn, arg1 = null) -> 0 EQEQ(arg0 = <this>.#nn, arg1 = null) -> 0
true -> <this>.#nn.hashCode() else -> <this>.#nn.hashCode()
} }
} }
@@ -32,7 +32,7 @@ data class Test<T : Any?> {
override fun hashCode(): Int { override fun hashCode(): Int {
var result: Int = when { var result: Int = when {
EQEQ(arg0 = <this>.#x, arg1 = null) -> 0 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()) result = result.times(other = 31).plus(other = <this>.#y.hashCode())
return result return result
+1 -1
View File
@@ -7,7 +7,7 @@ fun test2(a: Any?): Int {
val tmp0_safe_receiver: Any? = a val tmp0_safe_receiver: Any? = a
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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) { fun test1(b: Boolean) {
when { when {
b -> return Unit b -> return Unit
true -> false else -> false
} /*~> Unit */ } /*~> Unit */
} }
fun test2(b: Boolean) { fun test2(b: Boolean) {
when { when {
b -> true b -> true
true -> return Unit else -> return Unit
} /*~> Unit */ } /*~> Unit */
} }
@@ -1,14 +1,14 @@
fun test1(a: Boolean, b: Boolean): Boolean { fun test1(a: Boolean, b: Boolean): Boolean {
return when { return when {
a -> b a -> b
true -> false else -> false
} }
} }
fun test2(a: Boolean, b: Boolean): Boolean { fun test2(a: Boolean, b: Boolean): Boolean {
return when { return when {
a -> true a -> true
true -> b else -> b
} }
} }
@@ -4,7 +4,7 @@ fun test1(c: Boolean?) {
val tmp0_elvis_lhs: Boolean? = c val tmp0_elvis_lhs: Boolean? = c
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> break 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 val tmp0_elvis_lhs: Boolean? = c
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> continue 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 val tmp0_elvis_lhs: List<String>? = ss
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> continue EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> continue
true -> tmp0_elvis_lhs else -> tmp0_elvis_lhs
} }
}.iterator() }.iterator()
L2@ while (tmp1_iterator.hasNext()) { // BLOCK L2@ while (tmp1_iterator.hasNext()) { // BLOCK
@@ -46,7 +46,7 @@ fun test4(ss: List<String>?) {
val tmp0_elvis_lhs: List<String>? = ss val tmp0_elvis_lhs: List<String>? = ss
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> break EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> break
true -> tmp0_elvis_lhs else -> tmp0_elvis_lhs
} }
}.iterator() }.iterator()
L2@ while (tmp1_iterator.hasNext()) { // BLOCK L2@ while (tmp1_iterator.hasNext()) { // BLOCK
@@ -72,7 +72,7 @@ fun test5() {
} /*~> Unit */ } /*~> Unit */
// } while (when { // } while (when {
greaterOrEqual(arg0 = j, arg1 = 3) -> false greaterOrEqual(arg0 = j, arg1 = 3) -> false
true -> break else -> break
}) })
} }
when { when {
@@ -23,22 +23,22 @@ fun test(nc: C?): C? {
val tmp0_safe_receiver: C? = nc val tmp0_safe_receiver: C? = nc
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
true -> tmp0_safe_receiver.foo() else -> tmp0_safe_receiver.foo()
} }
} }
when { when {
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
true -> tmp1_safe_receiver.bar() else -> tmp1_safe_receiver.bar()
} }
} }
when { when {
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null
true -> tmp2_safe_receiver.foo() else -> tmp2_safe_receiver.foo()
} }
} }
when { when {
EQEQ(arg0 = tmp3_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: @FlexibleNullability PrintStream? = super.#out
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 */ } /*~> Unit */
{ // BLOCK { // BLOCK
val tmp1_safe_receiver: @FlexibleNullability PrintStream? = super.#out val tmp1_safe_receiver: @FlexibleNullability PrintStream? = super.#out
when { when {
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null 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 */ } /*~> Unit */
} }
@@ -7,7 +7,7 @@ fun lengthN(s: String?): Int? {
val tmp0_safe_receiver: String? = s val tmp0_safe_receiver: String? = s
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
true -> tmp0_safe_receiver.<get-length>() else -> tmp0_safe_receiver.<get-length>()
} }
} }
} }
+5 -5
View File
@@ -11,7 +11,7 @@ fun test1(a: Any?, b: Any): Any {
val tmp0_elvis_lhs: Any? = a val tmp0_elvis_lhs: Any? = a
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> b 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 val tmp0_elvis_lhs: String? = a
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> b 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 val tmp0_elvis_lhs: Any? = a
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> b /*as String */ 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>() val tmp0_elvis_lhs: Any? = <get-p>()
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> x 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() val tmp0_elvis_lhs: Any? = foo()
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> x 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 val tmp0_subject: A = a
when { when {
EQEQ(arg0 = tmp0_subject, arg1 = A.V1) -> x = 11 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 val tmp0_subject: A = a
when { when {
EQEQ(arg0 = tmp0_subject, arg1 = A.V1) -> 1 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) { fun testIfTheElseStatement_empty(a: A, flag: Boolean) {
when { when {
flag -> 0 /*~> Unit */ flag -> 0 /*~> Unit */
true -> { // BLOCK else -> { // BLOCK
{ // BLOCK { // BLOCK
val tmp0_subject: A = a val tmp0_subject: A = a
when { when {
@@ -78,7 +78,7 @@ fun testIfTheElseStatement_empty(a: A, flag: Boolean) {
fun testIfTheElseParenthesized_throwsJvm(a: A, flag: Boolean) { fun testIfTheElseParenthesized_throwsJvm(a: A, flag: Boolean) {
when { when {
flag -> 0 /*~> Unit */ flag -> 0 /*~> Unit */
true -> { // BLOCK else -> { // BLOCK
{ // BLOCK { // BLOCK
val tmp0_subject: A = a val tmp0_subject: A = a
when { when {
@@ -92,7 +92,7 @@ fun testIfTheElseParenthesized_throwsJvm(a: A, flag: Boolean) {
fun testIfTheElseAnnotated_throwsJvm(a: A, flag: Boolean) { fun testIfTheElseAnnotated_throwsJvm(a: A, flag: Boolean) {
when { when {
flag -> 0 /*~> Unit */ flag -> 0 /*~> Unit */
true -> { // BLOCK else -> { // BLOCK
{ // BLOCK { // BLOCK
val tmp0_subject: A = a val tmp0_subject: A = a
when { when {
@@ -109,7 +109,7 @@ fun testLambdaResultExpression_throws(a: A) {
val tmp0_subject: A = a val tmp0_subject: A = a
when { when {
EQEQ(arg0 = tmp0_subject, arg1 = A.V1) -> 1 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 val tmp0_safe_receiver: Any? = receiver
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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")
} }
} }
} }
@@ -2,9 +2,9 @@ fun testD(x: Comparable<Double>, y: Comparable<Double>): Boolean {
return when { return when {
when { when {
x is Double -> y is Double x is Double -> y is Double
true -> false else -> false
} -> less(arg0 = x /*as Double */, arg1 = y /*as Double */) } -> 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 { return when {
when { when {
x is Float -> y is Float x is Float -> y is Float
true -> false else -> false
} -> less(arg0 = x /*as Float */, arg1 = y /*as Float */) } -> less(arg0 = x /*as Float */, arg1 = y /*as Float */)
true -> false else -> false
} }
} }
@@ -1,7 +1,7 @@
fun test(x: Any): Boolean { fun test(x: Any): Boolean {
return EQEQ(arg0 = x, arg1 = when { return EQEQ(arg0 = x, arg1 = when {
x !is Double -> CHECK_NOT_NULL<Nothing>(arg0 = null) x !is Double -> CHECK_NOT_NULL<Nothing>(arg0 = null)
true -> x /*as Double */ else -> x /*as Double */
}) })
} }
@@ -5,7 +5,7 @@ fun test1d(x: Double, y: Double): Int {
fun test2d(x: Double, y: Any): Boolean { fun test2d(x: Double, y: Any): Boolean {
return when { return when {
y is Double -> EQEQ(arg0 = x.compareTo(other = y /*as Double */), arg1 = 0) 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 { return when {
when { when {
x is Double -> y is Double x is Double -> y is Double
true -> false else -> false
} -> EQEQ(arg0 = x /*as Double */.compareTo(other = y /*as Double */), arg1 = 0) } -> 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 { fun test2f(x: Float, y: Any): Boolean {
return when { return when {
y is Float -> EQEQ(arg0 = x.compareTo(other = y /*as Float */), arg1 = 0) 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 { return when {
when { when {
x is Float -> y is Float x is Float -> y is Float
true -> false else -> false
} -> EQEQ(arg0 = x /*as Float */.compareTo(other = y /*as Float */), arg1 = 0) } -> 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 { return when {
when { when {
x is Float -> y is Double x is Float -> y is Double
true -> false else -> false
} -> EQEQ(arg0 = x /*as Float */.compareTo(other = y /*as Double */), arg1 = 0) } -> 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 { return when {
when { when {
x is Double -> y is Float x is Double -> y is Float
true -> false else -> false
} -> EQEQ(arg0 = x /*as Double */.compareTo(other = y /*as Float */), arg1 = 0) } -> 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 { fun Float.test2fr(x: Any): Boolean {
return when { return when {
x is Float -> EQEQ(arg0 = <this>.compareTo(other = x /*as Float */), arg1 = 0) x is Float -> EQEQ(arg0 = <this>.compareTo(other = x /*as Float */), arg1 = 0)
true -> false else -> false
} }
} }
fun Float.test3fr(x: Any): Boolean { fun Float.test3fr(x: Any): Boolean {
return when { return when {
x is Double -> EQEQ(arg0 = <this>.compareTo(other = x /*as Double */), arg1 = 0) x is Double -> EQEQ(arg0 = <this>.compareTo(other = x /*as Double */), arg1 = 0)
true -> false else -> false
} }
} }
@@ -17,7 +17,7 @@ fun test4d(x: Double, y: Number): Boolean {
fun test5d(x: Double, y: Any): Boolean { fun test5d(x: Double, y: Any): Boolean {
return when { return when {
y is Double -> ieee754equals(arg0 = x, arg1 = y /*as Double */) 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 { return when {
when { when {
x is Double -> y is Double x is Double -> y is Double
true -> false else -> false
} -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Double */) } -> 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 { fun test5f(x: Float, y: Any): Boolean {
return when { return when {
y is Float -> ieee754equals(arg0 = x, arg1 = y /*as Float */) 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 { return when {
when { when {
x is Float -> y is Float x is Float -> y is Float
true -> false else -> false
} -> ieee754equals(arg0 = x /*as Float */, arg1 = y /*as Float */) } -> 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 { return when {
when { when {
x is Float -> y is Double x is Float -> y is Double
true -> false else -> false
} -> ieee754equals(arg0 = x /*as Float */.toDouble(), arg1 = y /*as Double */) } -> 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 { return when {
when { when {
x is Double -> y is Float x is Double -> y is Float
true -> false else -> false
} -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble()) } -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble())
true -> false else -> false
} }
} }
@@ -17,7 +17,7 @@ fun test4d(x: Double, y: Number): Boolean {
fun test5d(x: Double, y: Any): Boolean { fun test5d(x: Double, y: Any): Boolean {
return when { return when {
y is Double -> x.equals(other = y) y is Double -> x.equals(other = y)
true -> false else -> false
} }
} }
@@ -25,9 +25,9 @@ fun test6d(x: Any, y: Any): Boolean {
return when { return when {
when { when {
x is Double -> y is Double x is Double -> y is Double
true -> false else -> false
} -> x.equals(other = y) } -> 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 { fun test5f(x: Float, y: Any): Boolean {
return when { return when {
y is Float -> x.equals(other = y) y is Float -> x.equals(other = y)
true -> false else -> false
} }
} }
@@ -58,9 +58,9 @@ fun test6f(x: Any, y: Any): Boolean {
return when { return when {
when { when {
x is Float -> y is Float x is Float -> y is Float
true -> false else -> false
} -> x.equals(other = y) } -> x.equals(other = y)
true -> false else -> false
} }
} }
@@ -68,9 +68,9 @@ fun testFD(x: Any, y: Any): Boolean {
return when { return when {
when { when {
x is Float -> y is Double x is Float -> y is Double
true -> false else -> false
} -> x.equals(other = y) } -> x.equals(other = y)
true -> false else -> false
} }
} }
@@ -78,9 +78,9 @@ fun testDF(x: Any, y: Any): Boolean {
return when { return when {
when { when {
x is Double -> y is Float x is Double -> y is Float
true -> false else -> false
} -> x.equals(other = y) } -> x.equals(other = y)
true -> false else -> false
} }
} }
@@ -103,14 +103,14 @@ fun Float.test4fr(x: Number): Boolean {
fun Float.test5fr(x: Any): Boolean { fun Float.test5fr(x: Any): Boolean {
return when { return when {
x is Float -> <this>.equals(other = x) x is Float -> <this>.equals(other = x)
true -> false else -> false
} }
} }
fun Float.test6fr(x: Any): Boolean { fun Float.test6fr(x: Any): Boolean {
return when { return when {
x is Double -> <this>.equals(other = x) x is Double -> <this>.equals(other = x)
true -> false else -> false
} }
} }
@@ -17,7 +17,7 @@ fun test4d(x: Double, y: Number): Boolean {
fun test5d(x: Double, y: Any): Boolean { fun test5d(x: Double, y: Any): Boolean {
return when { return when {
y is Double -> ieee754equals(arg0 = x, arg1 = y /*as Double */).not() 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 { return when {
when { when {
x is Double -> y is Double x is Double -> y is Double
true -> false else -> false
} -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Double */).not() } -> 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 { fun test5f(x: Float, y: Any): Boolean {
return when { return when {
y is Float -> ieee754equals(arg0 = x, arg1 = y /*as Float */).not() 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 { return when {
when { when {
x is Float -> y is Float x is Float -> y is Float
true -> false else -> false
} -> ieee754equals(arg0 = x /*as Float */, arg1 = y /*as Float */).not() } -> 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 { return when {
when { when {
x is Float -> y is Double x is Float -> y is Double
true -> false else -> false
} -> ieee754equals(arg0 = x /*as Float */.toDouble(), arg1 = y /*as Double */).not() } -> 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 { return when {
when { when {
x is Double -> y is Float x is Double -> y is Float
true -> false else -> false
} -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble()).not() } -> ieee754equals(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble()).not()
true -> false else -> false
} }
} }
@@ -5,7 +5,7 @@ fun test1d(x: Double, y: Double): Boolean {
fun test2d(x: Double, y: Any): Boolean { fun test2d(x: Double, y: Any): Boolean {
return when { return when {
y is Double -> less(arg0 = x, arg1 = y /*as Double */) 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 { return when {
when { when {
x is Double -> y is Double x is Double -> y is Double
true -> false else -> false
} -> less(arg0 = x /*as Double */, arg1 = y /*as Double */) } -> 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 { fun test2f(x: Float, y: Any): Boolean {
return when { return when {
y is Float -> less(arg0 = x, arg1 = y /*as Float */) 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 { return when {
when { when {
x is Float -> y is Float x is Float -> y is Float
true -> false else -> false
} -> less(arg0 = x /*as Float */, arg1 = y /*as Float */) } -> 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 { return when {
when { when {
x is Float -> y is Double x is Float -> y is Double
true -> false else -> false
} -> less(arg0 = x /*as Float */.toDouble(), arg1 = y /*as Double */) } -> 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 { return when {
when { when {
x is Double -> y is Float x is Double -> y is Float
true -> false else -> false
} -> less(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble()) } -> less(arg0 = x /*as Double */, arg1 = y /*as Float */.toDouble())
true -> false else -> false
} }
} }
@@ -4,10 +4,10 @@ fun test(x: Any?, y: Double): Boolean {
val tmp0_safe_receiver: Any? = x val tmp0_safe_receiver: Any? = x
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
true -> tmp0_safe_receiver /*as Int */.toDouble() else -> tmp0_safe_receiver /*as Int */.toDouble()
} }
}, arg1 = y) }, arg1 = y)
true -> false else -> false
} }
} }
@@ -8,10 +8,10 @@ fun testDF(x: Double?, y: Any?): Boolean {
val tmp0_safe_receiver: Any? = y val tmp0_safe_receiver: Any? = y
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: Any? = y
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 { return when {
when { when {
x is Int? -> y is Double x is Int? -> y is Double
true -> false else -> false
} -> ieee754equals(arg0 = { // BLOCK } -> ieee754equals(arg0 = { // BLOCK
val tmp0_safe_receiver: Any? = x val tmp0_safe_receiver: Any? = x
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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? */) }, arg1 = y /*as Double? */)
true -> false else -> false
} }
} }
@@ -1,49 +1,49 @@
fun <T : Any?> test0(x: Any, y: T): Boolean { fun <T : Any?> test0(x: Any, y: T): Boolean {
return when { return when {
x is Int -> EQEQ(arg0 = x, arg1 = y) x is Int -> EQEQ(arg0 = x, arg1 = y)
true -> false else -> false
} }
} }
fun <T : Float> test1(x: Any, y: T): Boolean { fun <T : Float> test1(x: Any, y: T): Boolean {
return when { return when {
x is Float -> ieee754equals(arg0 = x /*as Float */, arg1 = y) x is Float -> ieee754equals(arg0 = x /*as Float */, arg1 = y)
true -> false else -> false
} }
} }
fun <T : Double> test2(x: Any, y: T): Boolean { fun <T : Double> test2(x: Any, y: T): Boolean {
return when { return when {
x is Float -> ieee754equals(arg0 = x /*as Float */.toDouble(), arg1 = y) x is Float -> ieee754equals(arg0 = x /*as Float */.toDouble(), arg1 = y)
true -> false else -> false
} }
} }
fun <T : Float> test3(x: Any, y: T): Boolean { fun <T : Float> test3(x: Any, y: T): Boolean {
return when { return when {
x is Int -> ieee754equals(arg0 = x /*as Int */.toFloat(), arg1 = y) x is Int -> ieee754equals(arg0 = x /*as Int */.toFloat(), arg1 = y)
true -> false else -> false
} }
} }
fun <T : Float?> test4(x: Any, y: T): Boolean { fun <T : Float?> test4(x: Any, y: T): Boolean {
return when { return when {
x is Int -> ieee754equals(arg0 = x /*as Int */.toFloat(), arg1 = y) 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 { fun <T : Float?, R : T> test5(x: Any, y: R): Boolean {
return when { return when {
x is Int -> ieee754equals(arg0 = x /*as Int */.toFloat(), arg1 = y) x is Int -> ieee754equals(arg0 = x /*as Int */.toFloat(), arg1 = y)
true -> false else -> false
} }
} }
fun <T : Number> test6(x: Any, y: T): Boolean { fun <T : Number> test6(x: Any, y: T): Boolean {
return when { return when {
x is Int -> EQEQ(arg0 = x, arg1 = y) 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 { fun testCapturedType(x: T, y: Any): Boolean {
return when { return when {
y is Double -> ieee754equals(arg0 = x.toDouble(), arg1 = y /*as Double */) y is Double -> ieee754equals(arg0 = x.toDouble(), arg1 = y /*as Double */)
true -> false else -> false
} }
} }
@@ -3,7 +3,7 @@ fun testSimple(x: Double): Int {
val tmp0_subject: Double = x val tmp0_subject: Double = x
when { when {
ieee754equals(arg0 = tmp0_subject, arg1 = 0.0D) -> 0 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 val tmp0_subject: Any = x
when { when {
ieee754equals(arg0 = tmp0_subject /*as Double */, arg1 = 0.0D) -> 0 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 val tmp0_subject: Double = x
when { when {
ieee754equals(arg0 = tmp0_subject, arg1 = y /*as Double */) -> 0 ieee754equals(arg0 = tmp0_subject, arg1 = y /*as Double */) -> 0
true -> 1 else -> 1
} }
} }
} }
@@ -40,7 +40,7 @@ fun testSmartCastInWhenConditionInBranch(x: Any): Int {
when { when {
tmp0_subject is Double.not() -> -1 tmp0_subject is Double.not() -> -1
ieee754equals(arg0 = tmp0_subject /*as Double */, arg1 = 0.0D) -> 0 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 val tmp0_subject: Any = x
when { when {
ieee754equals(arg0 = tmp0_subject /*as Double */, arg1 = y /*as Float */.toDouble()) -> 0 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 { when {
EQEQ(arg0 = tmp0_subject, arg1 = foo(x = when { EQEQ(arg0 = tmp0_subject, arg1 = foo(x = when {
x !is Double -> return 42 x !is Double -> return 42
true -> x /*as Double */ else -> x /*as Double */
})) -> 0 })) -> 0
true -> 1 else -> 1
} }
} }
} }
+5 -5
View File
@@ -2,7 +2,7 @@ fun test(i: Int): Int {
return when { return when {
greater(arg0 = i, arg1 = 0) -> 1 greater(arg0 = i, arg1 = 0) -> 1
less(arg0 = i, arg1 = 0) -> -1 less(arg0 = i, arg1 = 0) -> -1
true -> 0 else -> 0
} }
} }
@@ -10,7 +10,7 @@ fun testEmptyBranches1(flag: Boolean) {
when { when {
flag -> { // BLOCK flag -> { // BLOCK
} }
true -> true /*~> Unit */ else -> true /*~> Unit */
} }
when { when {
flag -> true /*~> Unit */ flag -> true /*~> Unit */
@@ -21,11 +21,11 @@ fun testEmptyBranches2(flag: Boolean) {
when { when {
flag -> { // BLOCK flag -> { // BLOCK
} }
true -> true /*~> Unit */ else -> true /*~> Unit */
} }
when { when {
flag -> true /*~> Unit */ flag -> true /*~> Unit */
true -> { // BLOCK else -> { // BLOCK
} }
} }
} }
@@ -34,7 +34,7 @@ fun testEmptyBranches3(flag: Boolean) {
when { when {
flag -> { // BLOCK flag -> { // BLOCK
} }
true -> true /*~> Unit */ else -> true /*~> Unit */
} }
} }
@@ -1,28 +1,28 @@
fun test1(x: String?): Int { fun test1(x: String?): Int {
return when { return when {
EQEQ(arg0 = x, arg1 = null) -> 0 EQEQ(arg0 = x, arg1 = null) -> 0
true -> x.<get-length>() else -> x.<get-length>()
} }
} }
fun <T : CharSequence?> test2(x: T): Int { fun <T : CharSequence?> test2(x: T): Int {
return when { return when {
EQEQ(arg0 = x, arg1 = null) -> 0 EQEQ(arg0 = x, arg1 = null) -> 0
true -> x.<get-length>() else -> x.<get-length>()
} }
} }
inline fun <reified T : CharSequence?> test3(x: Any): Int { inline fun <reified T : CharSequence?> test3(x: Any): Int {
return when { return when {
x !is T -> 0 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 { inline fun <reified T : CharSequence> test4(x: Any?): Int {
return when { return when {
x !is T -> 0 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? { inline fun <reified T : Any> Any.test1(): T? {
return when { return when {
<this> is T -> <this> /*as T */ <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? { inline get(): T? {
return when { return when {
<this> is T -> <this> /*as T */ <this> is T -> <this> /*as T */
true -> null else -> null
} }
} }
@@ -52,7 +52,7 @@ fun test(b: Boolean) {
val d2: Derived2 = Derived2() val d2: Derived2 = Derived2()
val k: Any = when { val k: Any = when {
b -> d1 b -> d1
true -> d2 else -> d2
} }
k /*as JFieldOwner */super.#f = 42 k /*as JFieldOwner */super.#f = 42
k /*as JFieldOwner */super.#f /*~> Unit */ k /*as JFieldOwner */super.#f /*~> Unit */
@@ -60,7 +60,7 @@ fun test(b: Boolean) {
val md2: DerivedThroughMid2 = DerivedThroughMid2() val md2: DerivedThroughMid2 = DerivedThroughMid2()
val mk: Any = when { val mk: Any = when {
b -> md1 b -> md1
true -> md2 else -> md2
} }
mk /*as Mid */super.#f = 44 mk /*as Mid */super.#f = 44
mk /*as Mid */super.#f /*~> Unit */ mk /*as Mid */super.#f /*~> Unit */
@@ -20,7 +20,7 @@ class TestClass {
val test: Int val test: Int
field = when { field = when {
true -> { // BLOCK else -> { // BLOCK
super.#out /*!! PrintStream */.println(p0 = "TestClass/test") super.#out /*!! PrintStream */.println(p0 = "TestClass/test")
42 42
} }
+6 -6
View File
@@ -10,9 +10,9 @@ fun testOverloadedCompareToCallWithSmartCast(x: Any, y: Any): Boolean {
return when { return when {
when { when {
x is Int -> y is Char x is Int -> y is Char
true -> false else -> false
} -> less(arg0 = x /*as Int */.compareTo(c = y /*as Char */), arg1 = 0) } -> 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 { return when {
when { when {
x is Int -> y is Char x is Int -> y is Char
true -> false else -> false
} -> EQEQ(arg0 = x, arg1 = y) } -> EQEQ(arg0 = x, arg1 = y)
true -> false else -> false
} }
} }
@@ -45,9 +45,9 @@ class C {
return when { return when {
when { when {
x is Int -> y is Char x is Int -> y is Char
true -> false else -> false
} -> less(arg0 = (<this>, x /*as Int */).compareTo(c = y /*as Char */), arg1 = 0) } -> less(arg0 = (<this>, x /*as Int */).compareTo(c = y /*as Char */), arg1 = 0)
true -> false else -> false
} }
} }
+1 -1
View File
@@ -3,7 +3,7 @@ fun box(): String {
when { when {
EQEQ(arg0 = r, arg1 = "").not() -> { // BLOCK EQEQ(arg0 = r, arg1 = "").not() -> { // BLOCK
} }
true -> r = r.plus(other = "O") else -> r = r.plus(other = "O")
} }
when { when {
EQEQ(arg0 = r, arg1 = "O") -> r = r.plus(other = "K") EQEQ(arg0 = r, arg1 = "O") -> r = r.plus(other = "K")
+2 -2
View File
@@ -18,14 +18,14 @@ fun test(x: X, nx: X?) {
val tmp1_safe_receiver: X? = nx val tmp1_safe_receiver: X? = nx
when { when {
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
true -> tmp1_safe_receiver.<get-xs>() else -> tmp1_safe_receiver.<get-xs>()
} }
}).plusAssign<Int>(element = 5) }).plusAssign<Int>(element = 5)
CHECK_NOT_NULL<MutableList<Any>>(arg0 = { // BLOCK CHECK_NOT_NULL<MutableList<Any>>(arg0 = { // BLOCK
val tmp2_safe_receiver: X? = nx val tmp2_safe_receiver: X? = nx
when { when {
EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp2_safe_receiver, arg1 = null) -> null
true -> tmp2_safe_receiver.f() else -> tmp2_safe_receiver.f()
} }
}).plusAssign<Int>(element = 6) }).plusAssign<Int>(element = 6)
} }
+12 -12
View File
@@ -7,7 +7,7 @@ fun <T : Any?> test(value: T, value2: T) {
val tmp0_elvis_lhs: T = value val tmp0_elvis_lhs: T = value
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> 42 EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> 42
true -> tmp0_elvis_lhs else -> tmp0_elvis_lhs
} }
} }
val x2: Any = { // BLOCK val x2: Any = { // BLOCK
@@ -17,10 +17,10 @@ fun <T : Any?> test(value: T, value2: T) {
val tmp1_elvis_lhs: T = value2 val tmp1_elvis_lhs: T = value2
when { when {
EQEQ(arg0 = tmp1_elvis_lhs, arg1 = null) -> 42 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 val x3: Any = { // BLOCK
@@ -28,12 +28,12 @@ fun <T : Any?> test(value: T, value2: T) {
val tmp3_elvis_lhs: T = value val tmp3_elvis_lhs: T = value
when { when {
EQEQ(arg0 = tmp3_elvis_lhs, arg1 = null) -> value2 EQEQ(arg0 = tmp3_elvis_lhs, arg1 = null) -> value2
true -> tmp3_elvis_lhs else -> tmp3_elvis_lhs
} }
} }
when { when {
EQEQ(arg0 = tmp4_elvis_lhs, arg1 = null) -> 42 EQEQ(arg0 = tmp4_elvis_lhs, arg1 = null) -> 42
true -> tmp4_elvis_lhs else -> tmp4_elvis_lhs
} }
} }
val x4: Any = { // BLOCK val x4: Any = { // BLOCK
@@ -41,19 +41,19 @@ fun <T : Any?> test(value: T, value2: T) {
val tmp5_elvis_lhs: T = value val tmp5_elvis_lhs: T = value
when { when {
EQEQ(arg0 = tmp5_elvis_lhs, arg1 = null) -> value2 EQEQ(arg0 = tmp5_elvis_lhs, arg1 = null) -> value2
true -> tmp5_elvis_lhs else -> tmp5_elvis_lhs
} }
} }
when { when {
EQEQ(arg0 = tmp6_elvis_lhs, arg1 = null) -> 42 EQEQ(arg0 = tmp6_elvis_lhs, arg1 = null) -> 42
true -> tmp6_elvis_lhs else -> tmp6_elvis_lhs
} }
} }
val x5: Any = { // BLOCK val x5: Any = { // BLOCK
val tmp7_elvis_lhs: Any? = magic<Any?>() val tmp7_elvis_lhs: Any? = magic<Any?>()
when { when {
EQEQ(arg0 = tmp7_elvis_lhs, arg1 = null) -> 42 EQEQ(arg0 = tmp7_elvis_lhs, arg1 = null) -> 42
true -> tmp7_elvis_lhs else -> tmp7_elvis_lhs
} }
} }
val x6: Any = { // BLOCK val x6: Any = { // BLOCK
@@ -61,12 +61,12 @@ fun <T : Any?> test(value: T, value2: T) {
val tmp8_elvis_lhs: T = value val tmp8_elvis_lhs: T = value
when { when {
EQEQ(arg0 = tmp8_elvis_lhs, arg1 = null) -> magic<Any?>() EQEQ(arg0 = tmp8_elvis_lhs, arg1 = null) -> magic<Any?>()
true -> tmp8_elvis_lhs else -> tmp8_elvis_lhs
} }
} }
when { when {
EQEQ(arg0 = tmp9_elvis_lhs, arg1 = null) -> 42 EQEQ(arg0 = tmp9_elvis_lhs, arg1 = null) -> 42
true -> tmp9_elvis_lhs else -> tmp9_elvis_lhs
} }
} }
val x7: Any = { // BLOCK val x7: Any = { // BLOCK
@@ -74,12 +74,12 @@ fun <T : Any?> test(value: T, value2: T) {
val tmp10_elvis_lhs: Any? = magic<Any?>() val tmp10_elvis_lhs: Any? = magic<Any?>()
when { when {
EQEQ(arg0 = tmp10_elvis_lhs, arg1 = null) -> value EQEQ(arg0 = tmp10_elvis_lhs, arg1 = null) -> value
true -> tmp10_elvis_lhs else -> tmp10_elvis_lhs
} }
} }
when { when {
EQEQ(arg0 = tmp11_elvis_lhs, arg1 = null) -> 42 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 val tmp0_safe_receiver: C? = nc
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */ 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)
} }
} }
} }
@@ -21,7 +21,7 @@ operator fun Int?.inc(): Int? {
val tmp0_safe_receiver: Int? = <this> val tmp0_safe_receiver: Int? = <this>
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: C? = nc
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
true -> { // BLOCK else -> { // BLOCK
val tmp1_receiver: C? = tmp0_safe_receiver val tmp1_receiver: C? = tmp0_safe_receiver
{ // BLOCK { // BLOCK
val tmp2: Int = tmp1_receiver.<get-p>() val tmp2: Int = tmp1_receiver.<get-p>()
@@ -56,7 +56,7 @@ fun testArrayAccess(nc: C?) {
val tmp0_safe_receiver: C? = nc val tmp0_safe_receiver: C? = nc
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp2_index0: Int = 0
+6 -6
View File
@@ -24,7 +24,7 @@ fun test1(x: String?): Int? {
val tmp0_safe_receiver: String? = x val tmp0_safe_receiver: String? = x
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: String? = x
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: String? = x
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: Ref? = x
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null /*~> Unit */ 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 val tmp0_safe_receiver: String? = s
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: Int = 42
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
true -> tmp0_safe_receiver.foo() else -> tmp0_safe_receiver.foo()
} }
} /*~> Unit */ } /*~> Unit */
} }
@@ -24,7 +24,7 @@ fun J.test3(a: Function0<Unit>) {
fun J.test4(a: Function0<Unit>, b: Function0<Unit>, flag: Boolean) { fun J.test4(a: Function0<Unit>, b: Function0<Unit>, flag: Boolean) {
<this>.runIt(r = when { <this>.runIt(r = when {
flag -> a flag -> a
true -> b else -> b
} /*-> @FlexibleNullability Runnable? */) } /*-> @FlexibleNullability Runnable? */)
} }
@@ -17,7 +17,7 @@ enum class En : Enum<En> {
val tmp0_safe_receiver: Any? = <get-n>() val tmp0_safe_receiver: Any? = <get-n>()
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 val tmp0_safe_receiver: Any? = x
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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 { fun test1(x: Any): Boolean {
return when { return when {
x is Array<*> -> x /*as Array<*> */.isArrayOf<String>() 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 val tmp0_safe_receiver: String? = ns
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
true -> tmp0_safe_receiver.k() else -> tmp0_safe_receiver.k()
} }
} }
when { when {
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
true -> tmp1_safe_receiver.invoke() else -> tmp1_safe_receiver.invoke()
} }
} }
} }
+9 -9
View File
@@ -16,7 +16,7 @@ fun testWithSubject(x: Any?): String {
tmp0_subject is String -> "String" tmp0_subject is String -> "String"
tmp0_subject is Number.not() -> "!Number" tmp0_subject is Number.not() -> "!Number"
setOf<Nothing>().contains<Number>(element = tmp0_subject /*as Number */) -> "nothingness?" 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 String -> "String"
x !is Number -> "!Number" x !is Number -> "!Number"
setOf<Nothing>().contains<Number>(element = x /*as Number */) -> "nothingness?" setOf<Nothing>().contains<Number>(element = x /*as Number */) -> "nothingness?"
true -> "something" else -> "something"
} }
} }
@@ -40,24 +40,24 @@ fun testComma(x: Int): String {
when { when {
when { when {
EQEQ(arg0 = tmp0_subject, arg1 = 1) -> true EQEQ(arg0 = tmp0_subject, arg1 = 1) -> true
true -> EQEQ(arg0 = tmp0_subject, arg1 = 2) else -> EQEQ(arg0 = tmp0_subject, arg1 = 2)
} -> true } -> true
true -> EQEQ(arg0 = tmp0_subject, arg1 = 3) else -> EQEQ(arg0 = tmp0_subject, arg1 = 3)
} -> true } -> true
true -> EQEQ(arg0 = tmp0_subject, arg1 = 4) else -> EQEQ(arg0 = tmp0_subject, arg1 = 4)
} -> "1234" } -> "1234"
when { when {
when { when {
EQEQ(arg0 = tmp0_subject, arg1 = 5) -> true EQEQ(arg0 = tmp0_subject, arg1 = 5) -> true
true -> EQEQ(arg0 = tmp0_subject, arg1 = 6) else -> EQEQ(arg0 = tmp0_subject, arg1 = 6)
} -> true } -> true
true -> EQEQ(arg0 = tmp0_subject, arg1 = 7) else -> EQEQ(arg0 = tmp0_subject, arg1 = 7)
} -> "567" } -> "567"
when { when {
EQEQ(arg0 = tmp0_subject, arg1 = 8) -> true EQEQ(arg0 = tmp0_subject, arg1 = 8) -> true
true -> EQEQ(arg0 = tmp0_subject, arg1 = 9) else -> EQEQ(arg0 = tmp0_subject, arg1 = 9)
} -> "89" } -> "89"
true -> "?" else -> "?"
} }
} }
} }
+1 -1
View File
@@ -1,6 +1,6 @@
fun test(): Int { fun test(): Int {
return when { return when {
true -> 42 else -> 42
} }
} }
+1 -1
View File
@@ -6,7 +6,7 @@ fun toString(grade: String): String {
EQEQ(arg0 = tmp0_subject, arg1 = "B") -> return "Good" EQEQ(arg0 = tmp0_subject, arg1 = "B") -> return "Good"
EQEQ(arg0 = tmp0_subject, arg1 = "C") -> return "Mediocre" EQEQ(arg0 = tmp0_subject, arg1 = "C") -> return "Mediocre"
EQEQ(arg0 = tmp0_subject, arg1 = "D") -> return "Fair" EQEQ(arg0 = tmp0_subject, arg1 = "D") -> return "Fair"
true -> return "Failure" else -> return "Failure"
} }
} }
return "???" return "???"
@@ -5,11 +5,11 @@ fun test(b: Boolean, i: Int) {
val tmp0_subject: Int = i val tmp0_subject: Int = i
when { when {
EQEQ(arg0 = tmp0_subject, arg1 = 0) -> 1 /*~> Unit */ 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 y is Int.not() -> 2
0.rangeTo(other = 10).contains(value = y /*as Int */) -> 3 0.rangeTo(other = 10).contains(value = y /*as Int */) -> 3
10.rangeTo(other = 20).contains(value = y /*as Int */).not() -> 4 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> val tmp1_elvis_lhs: Collection<ComponentDescriptor>? = <get-registrationMap>().get(key = resolver.<get-applicableTo>()) as? Collection<ComponentDescriptor>
when { when {
EQEQ(arg0 = tmp1_elvis_lhs, arg1 = null) -> continue 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>()) 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>())
+1 -1
View File
@@ -24,7 +24,7 @@ data class Some<T : Any?> {
override fun hashCode(): Int { override fun hashCode(): Int {
return when { return when {
EQEQ(arg0 = <this>.#value, arg1 = null) -> 0 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 {
when { when {
me is FirCallableMemberDeclaration<*> -> EQEQ(arg0 = me /*as FirCallableMemberDeclaration<out FirCallableMemberDeclaration<*>> */.<get-symbol>(), arg1 = null).not() me is FirCallableMemberDeclaration<*> -> EQEQ(arg0 = me /*as FirCallableMemberDeclaration<out FirCallableMemberDeclaration<*>> */.<get-symbol>(), arg1 = null).not()
true -> false else -> false
} -> { // BLOCK } -> { // BLOCK
} }
} }
@@ -10,7 +10,7 @@ private fun Reader.nextChar(): Char? {
) )
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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() var ch: Char? = <this>.nextChar()
while (when { while (when {
EQEQ(arg0 = ch, arg1 = null).not() -> EQEQ(arg0 = ch, arg1 = quote).not() EQEQ(arg0 = ch, arg1 = null).not() -> EQEQ(arg0 = ch, arg1 = quote).not()
true -> false else -> false
}) { // BLOCK }) { // BLOCK
when { when {
EQEQ(arg0 = ch, arg1 = <get-BACKSLASH>()) -> { // BLOCK EQEQ(arg0 = ch, arg1 = <get-BACKSLASH>()) -> { // BLOCK
val tmp0_safe_receiver: Char? = <this>.nextChar() val tmp0_safe_receiver: Char? = <this>.nextChar()
when { when {
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null 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) return sb.append(p0 = it)
} }
) )
} }
} /*~> Unit */ } /*~> Unit */
true -> sb.append(p0 = ch) /*~> Unit */ else -> sb.append(p0 = ch) /*~> Unit */
} }
ch = <this>.nextChar() ch = <this>.nextChar()
} }
+2 -2
View File
@@ -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 EQEQ(arg0 = tmp1_subject, arg1 = 2) -> return 2
} }
} }
true -> return 3 else -> return 3
} }
} }
} }
+1 -1
View File
@@ -1,7 +1,7 @@
fun <K1 : Any?, V1 : Any?> Map<out K1, V1>.plus(pair: Pair<K1, V1>): Map<K1, V1> { fun <K1 : Any?, V1 : Any?> Map<out K1, V1>.plus(pair: Pair<K1, V1>): Map<K1, V1> {
return when { return when {
<this>.isEmpty() -> mapOf<K1, V1>(pair = pair) <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 */ <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 val tmp0_elvis_lhs: Any? = value
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> Any() 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 val tmp0_elvis_lhs: Any? = value
when { when {
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> Any() 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 nn: C = C()
val c: Any = when { val c: Any = when {
true -> mm true -> mm
true -> nn else -> nn
} }
return c return c
} }
@@ -34,7 +34,7 @@ fun foo(): Any {
val nn: C = C() val nn: C = C()
val c: Any = when { val c: Any = when {
true -> mm true -> mm
true -> nn else -> nn
} }
return c return c
} }
@@ -38,7 +38,7 @@ class B : I, J {
fun testIntersection(a: A, b: B) { fun testIntersection(a: A, b: B) {
val v: K = when { val v: K = when {
true -> a true -> a
true -> b else -> b
} }
v /*as I */.ff() v /*as I */.ff()
} }
@@ -46,7 +46,7 @@ fun testIntersection(a: A, b: B) {
fun testFlexible1() { fun testFlexible1() {
val v: @FlexibleNullability K? = when { val v: @FlexibleNullability K? = when {
true -> a() true -> a()
true -> b() else -> b()
} }
v /*!! K */ /*as I */.ff() v /*!! K */ /*as I */.ff()
} }
@@ -54,7 +54,7 @@ fun testFlexible1() {
fun testFlexible2(a: A, b: B) { fun testFlexible2(a: A, b: B) {
val v: @FlexibleNullability K? = when { val v: @FlexibleNullability K? = when {
true -> id<@FlexibleNullability A?>(x = a) true -> id<@FlexibleNullability A?>(x = a)
true -> id<@FlexibleNullability B?>(x = b) else -> id<@FlexibleNullability B?>(x = b)
} }
v /*!! K */ /*as I */.ff() v /*!! K */ /*as I */.ff()
} }
@@ -16,14 +16,14 @@ open class A {
fun testA1(x: Any): Int? { fun testA1(x: Any): Int? {
return when { return when {
x is B -> x /*as B */.f() x is B -> x /*as B */.f()
true -> null else -> null
} }
} }
fun testA2(x: Any): Int? { fun testA2(x: Any): Int? {
return when { return when {
x is B -> x /*as B */.<get-aVal>() x is B -> x /*as B */.<get-aVal>()
true -> null else -> null
} }
} }
@@ -39,14 +39,14 @@ class B : A {
fun testB1(x: Any): Int? { fun testB1(x: Any): Int? {
return when { return when {
x is B -> x /*as B */.f() x is B -> x /*as B */.f()
true -> null else -> null
} }
} }
fun testB2(x: Any): Int? { fun testB2(x: Any): Int? {
return when { return when {
x is B -> x /*as B */.<get-aVal>() x is B -> x /*as B */.<get-aVal>()
true -> null else -> null
} }
} }