[IR] update testdata
This commit is contained in:
committed by
teamcityserver
parent
6a1ab1b325
commit
fc5c674c60
+3
-3
@@ -20,7 +20,7 @@ open class Base {
|
|||||||
|
|
||||||
class Test1 : Base {
|
class Test1 : Base {
|
||||||
constructor(xx: Int, yy: Int) /* primary */ {
|
constructor(xx: Int, yy: Int) /* primary */ {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
}
|
}
|
||||||
/* InstanceInitializerCall */
|
/* InstanceInitializerCall */
|
||||||
@@ -34,7 +34,7 @@ class Test1 : Base {
|
|||||||
|
|
||||||
class Test2 : Base {
|
class Test2 : Base {
|
||||||
constructor(xx: Int, yy: Int) {
|
constructor(xx: Int, yy: Int) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
}
|
}
|
||||||
/* InstanceInitializerCall */
|
/* InstanceInitializerCall */
|
||||||
@@ -42,7 +42,7 @@ class Test2 : Base {
|
|||||||
}
|
}
|
||||||
|
|
||||||
constructor(xxx: Int, yyy: Int, a: Any) {
|
constructor(xxx: Int, yyy: Int, a: Any) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -50,7 +50,7 @@ interface IOther {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun otherImpl(x0: String, y0: Int): IOther {
|
fun otherImpl(x0: String, y0: Int): IOther {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
local class <no name provided> : IOther {
|
local class <no name provided> : IOther {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
+1
-1
@@ -131,7 +131,7 @@ enum class TestEnum6 : Enum<TestEnum6> {
|
|||||||
field = y
|
field = y
|
||||||
get
|
get
|
||||||
|
|
||||||
TEST init = { //BLOCK
|
TEST init = { // BLOCK
|
||||||
val tmp0_y: Int = f()
|
val tmp0_y: Int = f()
|
||||||
val tmp1_x: Int = f()
|
val tmp1_x: Int = f()
|
||||||
TODO("IrEnumConstructorCall")
|
TODO("IrEnumConstructorCall")
|
||||||
|
|||||||
+1
-1
@@ -48,7 +48,7 @@ data class A {
|
|||||||
}
|
}
|
||||||
|
|
||||||
data class B {
|
data class B {
|
||||||
constructor(x: Any = { //BLOCK
|
constructor(x: Any = { // BLOCK
|
||||||
local class <no name provided> {
|
local class <no name provided> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
@@ -6,7 +6,7 @@ interface IFoo {
|
|||||||
}
|
}
|
||||||
|
|
||||||
val test1: Any
|
val test1: Any
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
local class <no name provided> {
|
local class <no name provided> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
@@ -25,7 +25,7 @@ val test1: Any
|
|||||||
get
|
get
|
||||||
|
|
||||||
val test2: IFoo
|
val test2: IFoo
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
local class <no name provided> : IFoo {
|
local class <no name provided> : IFoo {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
@@ -68,7 +68,7 @@ class Outer {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test3(): Inner {
|
fun test3(): Inner {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
local class <no name provided> : Inner {
|
local class <no name provided> : Inner {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
@@ -96,7 +96,7 @@ class Outer {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun Outer.test4(): Inner {
|
fun Outer.test4(): Inner {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
local class <no name provided> : Inner {
|
local class <no name provided> : Inner {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
+2
-2
@@ -1,7 +1,7 @@
|
|||||||
val test: Unit
|
val test: Unit
|
||||||
field = try { //BLOCK
|
field = try { // BLOCK
|
||||||
}
|
}
|
||||||
catch (...) { //BLOCK
|
catch (...) { // BLOCK
|
||||||
}
|
}
|
||||||
|
|
||||||
get
|
get
|
||||||
|
|||||||
@@ -24,7 +24,7 @@ fun test2() {
|
|||||||
|
|
||||||
|
|
||||||
<set-x>(value = 0)
|
<set-x>(value = 0)
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0: Int = <get-x>()
|
val tmp0: Int = <get-x>()
|
||||||
<set-x>(value = tmp0.inc())
|
<set-x>(value = tmp0.inc())
|
||||||
tmp0
|
tmp0
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
fun foo() {
|
fun foo() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
val x: Int = 42
|
val x: Int = 42
|
||||||
// } while (EQEQ(arg0 = x, arg1 = 42).not())
|
// } while (EQEQ(arg0 = x, arg1 = 42).not())
|
||||||
|
|||||||
+2
-2
@@ -10,10 +10,10 @@ fun f(f1: Function0<String> = local fun <anonymous>(): String {
|
|||||||
|
|
||||||
fun box(): String {
|
fun box(): String {
|
||||||
var result: String = "fail"
|
var result: String = "fail"
|
||||||
try { //BLOCK
|
try { // BLOCK
|
||||||
f() /*~> Unit */
|
f() /*~> Unit */
|
||||||
}
|
}
|
||||||
catch (...) { //BLOCK
|
catch (...) { // BLOCK
|
||||||
result = "OK"
|
result = "OK"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
typealias Test1 = String
|
typealias Test1 = String
|
||||||
fun foo() {
|
fun foo() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -24,7 +24,7 @@ class C {
|
|||||||
|
|
||||||
fun testVariable() {
|
fun testVariable() {
|
||||||
var x: IntArray = foo()
|
var x: IntArray = foo()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: IntArray = x
|
val tmp0_array: IntArray = x
|
||||||
val tmp1_index0: Int = 0
|
val tmp1_index0: Int = 0
|
||||||
tmp0_array.set(index = tmp1_index0, value = tmp0_array.get(index = tmp1_index0).plus(other = 1))
|
tmp0_array.set(index = tmp1_index0, value = tmp0_array.get(index = tmp1_index0).plus(other = 1))
|
||||||
@@ -32,7 +32,7 @@ fun testVariable() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testCall() {
|
fun testCall() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: IntArray = foo()
|
val tmp0_array: IntArray = foo()
|
||||||
val tmp1_index0: Int = bar()
|
val tmp1_index0: Int = bar()
|
||||||
tmp0_array.set(index = tmp1_index0, value = tmp0_array.get(index = tmp1_index0).times(other = 2))
|
tmp0_array.set(index = tmp1_index0, value = tmp0_array.get(index = tmp1_index0).times(other = 2))
|
||||||
@@ -40,7 +40,7 @@ fun testCall() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testMember(c: C) {
|
fun testMember(c: C) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: IntArray = c.<get-x>()
|
val tmp0_array: IntArray = c.<get-x>()
|
||||||
val tmp1_index0: Int = 0
|
val tmp1_index0: Int = 0
|
||||||
val tmp2: Int = tmp0_array.get(index = tmp1_index0)
|
val tmp2: Int = tmp0_array.get(index = tmp1_index0)
|
||||||
|
|||||||
@@ -13,7 +13,7 @@ interface IB {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun IB.test(a: IA) {
|
fun IB.test(a: IA) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: IA = a
|
val tmp0_array: IA = a
|
||||||
val tmp1_index0: String = ""
|
val tmp1_index0: String = ""
|
||||||
<this>.set($receiver = tmp0_array, index = tmp1_index0, value = tmp0_array.get(index = tmp1_index0).plus(other = 42))
|
<this>.set($receiver = tmp0_array, index = tmp1_index0, value = tmp0_array.get(index = tmp1_index0).plus(other = 42))
|
||||||
|
|||||||
@@ -13,19 +13,19 @@ fun testVariable() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testProperty() {
|
fun testProperty() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
<set-p>(<set-?> = <get-p>().plus(other = 1))
|
<set-p>(<set-?> = <get-p>().plus(other = 1))
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
<set-p>(<set-?> = <get-p>().minus(other = 2))
|
<set-p>(<set-?> = <get-p>().minus(other = 2))
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
<set-p>(<set-?> = <get-p>().times(other = 3))
|
<set-p>(<set-?> = <get-p>().times(other = 3))
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
<set-p>(<set-?> = <get-p>().div(other = 4))
|
<set-p>(<set-?> = <get-p>().div(other = 4))
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
<set-p>(<set-?> = <get-p>().rem(other = 5))
|
<set-p>(<set-?> = <get-p>().rem(other = 5))
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -39,19 +39,19 @@ fun testVariable() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testProperty() {
|
fun testProperty() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
plusAssign($receiver = <get-p>(), s = "+=")
|
plusAssign($receiver = <get-p>(), s = "+=")
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
minusAssign($receiver = <get-p>(), s = "-=")
|
minusAssign($receiver = <get-p>(), s = "-=")
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
timesAssign($receiver = <get-p>(), s = "*=")
|
timesAssign($receiver = <get-p>(), s = "*=")
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
divAssign($receiver = <get-p>(), s = "/=")
|
divAssign($receiver = <get-p>(), s = "/=")
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
remAssign($receiver = <get-p>(), s = "%=")
|
remAssign($receiver = <get-p>(), s = "%=")
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -4,14 +4,14 @@ fun test1() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2() {
|
fun test2() {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
error("") /* ERROR EXPRESSION */
|
error("") /* ERROR EXPRESSION */
|
||||||
error("") /* ERROR EXPRESSION */
|
error("") /* ERROR EXPRESSION */
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fun test3() {
|
fun test3() {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
val lambda: Function0<Nothing> = local fun <anonymous>(): Nothing {
|
val lambda: Function0<Nothing> = local fun <anonymous>(): Nothing {
|
||||||
error("") /* ERROR EXPRESSION */
|
error("") /* ERROR EXPRESSION */
|
||||||
error("") /* ERROR EXPRESSION */
|
error("") /* ERROR EXPRESSION */
|
||||||
@@ -21,9 +21,9 @@ fun test3() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test4() {
|
fun test4() {
|
||||||
while (error("") /* ERROR EXPRESSION */) { //BLOCK
|
while (error("") /* ERROR EXPRESSION */) { // BLOCK
|
||||||
}
|
}
|
||||||
while (error("") /* ERROR EXPRESSION */) { //BLOCK
|
while (error("") /* ERROR EXPRESSION */) { // BLOCK
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
+1
-1
@@ -3,7 +3,7 @@ fun test1(a: Any?): Any {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2(a: Any?): Int {
|
fun test2(a: Any?): Int {
|
||||||
return CHECK_NOT_NULL<Int>(arg0 = { //BLOCK
|
return CHECK_NOT_NULL<Int>(arg0 = { // BLOCK
|
||||||
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
|
||||||
|
|||||||
+12
-12
@@ -1,16 +1,16 @@
|
|||||||
fun test1() {
|
fun test1() {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
break
|
break
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
break
|
break
|
||||||
// } while (true)
|
// } while (true)
|
||||||
}
|
}
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
continue
|
continue
|
||||||
// } while (true)
|
// } while (true)
|
||||||
@@ -18,15 +18,15 @@ fun test1() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2() {
|
fun test2() {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
break
|
break
|
||||||
break
|
break
|
||||||
}
|
}
|
||||||
break
|
break
|
||||||
}
|
}
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
continue
|
continue
|
||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
@@ -35,14 +35,14 @@ fun test2() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test3() {
|
fun test3() {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
break
|
break
|
||||||
}
|
}
|
||||||
break
|
break
|
||||||
}
|
}
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
continue
|
continue
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
fun test1(c: Boolean?) {
|
fun test1(c: Boolean?) {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
while ({ //BLOCK
|
while ({ // BLOCK
|
||||||
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
|
||||||
@@ -11,8 +11,8 @@ fun test1(c: Boolean?) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2(c: Boolean?) {
|
fun test2(c: Boolean?) {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
while ({ //BLOCK
|
while ({ // BLOCK
|
||||||
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
|
||||||
@@ -23,16 +23,16 @@ fun test2(c: Boolean?) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test3(ss: List<String>?) {
|
fun test3(ss: List<String>?) {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_iterator: Iterator<String> = { //BLOCK
|
val tmp1_iterator: Iterator<String> = { // BLOCK
|
||||||
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
|
true -> tmp0_elvis_lhs
|
||||||
}
|
}
|
||||||
}.iterator()
|
}.iterator()
|
||||||
while (tmp1_iterator.hasNext()) { //BLOCK
|
while (tmp1_iterator.hasNext()) { // BLOCK
|
||||||
val s: String = tmp1_iterator.next()
|
val s: String = tmp1_iterator.next()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -40,16 +40,16 @@ fun test3(ss: List<String>?) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test4(ss: List<String>?) {
|
fun test4(ss: List<String>?) {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_iterator: Iterator<String> = { //BLOCK
|
val tmp1_iterator: Iterator<String> = { // BLOCK
|
||||||
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
|
true -> tmp0_elvis_lhs
|
||||||
}
|
}
|
||||||
}.iterator()
|
}.iterator()
|
||||||
while (tmp1_iterator.hasNext()) { //BLOCK
|
while (tmp1_iterator.hasNext()) { // BLOCK
|
||||||
val s: String = tmp1_iterator.next()
|
val s: String = tmp1_iterator.next()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -58,15 +58,15 @@ fun test4(ss: List<String>?) {
|
|||||||
|
|
||||||
fun test5() {
|
fun test5() {
|
||||||
var i: Int = 0
|
var i: Int = 0
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
i = i.inc()
|
i = i.inc()
|
||||||
i
|
i
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
var j: Int = 0
|
var j: Int = 0
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
j = j.inc()
|
j = j.inc()
|
||||||
j
|
j
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
|
|||||||
@@ -1,11 +1,11 @@
|
|||||||
fun testBreakFor() {
|
fun testBreakFor() {
|
||||||
val xs: IntArray = TODO("IrConstructorCall")
|
val xs: IntArray = TODO("IrConstructorCall")
|
||||||
var k: Int = 0
|
var k: Int = 0
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: IntIterator = xs.iterator()
|
val tmp0_iterator: IntIterator = xs.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val x: Int = tmp0_iterator.next()
|
val x: Int = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
when {
|
when {
|
||||||
greater(arg0 = k, arg1 = 2) -> break
|
greater(arg0 = k, arg1 = 2) -> break
|
||||||
}
|
}
|
||||||
@@ -16,7 +16,7 @@ fun testBreakFor() {
|
|||||||
|
|
||||||
fun testBreakWhile() {
|
fun testBreakWhile() {
|
||||||
var k: Int = 0
|
var k: Int = 0
|
||||||
while (less(arg0 = k, arg1 = 10)) { //BLOCK
|
while (less(arg0 = k, arg1 = 10)) { // BLOCK
|
||||||
when {
|
when {
|
||||||
greater(arg0 = k, arg1 = 2) -> break
|
greater(arg0 = k, arg1 = 2) -> break
|
||||||
}
|
}
|
||||||
@@ -25,7 +25,7 @@ fun testBreakWhile() {
|
|||||||
|
|
||||||
fun testBreakDoWhile() {
|
fun testBreakDoWhile() {
|
||||||
var k: Int = 0
|
var k: Int = 0
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
when {
|
when {
|
||||||
greater(arg0 = k, arg1 = 2) -> break
|
greater(arg0 = k, arg1 = 2) -> break
|
||||||
@@ -37,11 +37,11 @@ fun testBreakDoWhile() {
|
|||||||
fun testContinueFor() {
|
fun testContinueFor() {
|
||||||
val xs: IntArray = TODO("IrConstructorCall")
|
val xs: IntArray = TODO("IrConstructorCall")
|
||||||
var k: Int = 0
|
var k: Int = 0
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: IntIterator = xs.iterator()
|
val tmp0_iterator: IntIterator = xs.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val x: Int = tmp0_iterator.next()
|
val x: Int = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
when {
|
when {
|
||||||
greater(arg0 = k, arg1 = 2) -> continue
|
greater(arg0 = k, arg1 = 2) -> continue
|
||||||
}
|
}
|
||||||
@@ -52,7 +52,7 @@ fun testContinueFor() {
|
|||||||
|
|
||||||
fun testContinueWhile() {
|
fun testContinueWhile() {
|
||||||
var k: Int = 0
|
var k: Int = 0
|
||||||
while (less(arg0 = k, arg1 = 10)) { //BLOCK
|
while (less(arg0 = k, arg1 = 10)) { // BLOCK
|
||||||
when {
|
when {
|
||||||
greater(arg0 = k, arg1 = 2) -> continue
|
greater(arg0 = k, arg1 = 2) -> continue
|
||||||
}
|
}
|
||||||
@@ -62,9 +62,9 @@ fun testContinueWhile() {
|
|||||||
fun testContinueDoWhile() {
|
fun testContinueDoWhile() {
|
||||||
var k: Int = 0
|
var k: Int = 0
|
||||||
var s: String = ""
|
var s: String = ""
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
k = k.inc()
|
k = k.inc()
|
||||||
k
|
k
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
|
|||||||
@@ -19,12 +19,12 @@ fun reordered2(): Int {
|
|||||||
|
|
||||||
fun test() {
|
fun test() {
|
||||||
foo(a = noReorder1(), b = noReorder2())
|
foo(a = noReorder1(), b = noReorder2())
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_b: Int = reordered1()
|
val tmp0_b: Int = reordered1()
|
||||||
val tmp1_a: Int = reordered2()
|
val tmp1_a: Int = reordered2()
|
||||||
foo(a = tmp1_a, b = tmp0_b)
|
foo(a = tmp1_a, b = tmp0_b)
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp2_a: Int = reordered2()
|
val tmp2_a: Int = reordered2()
|
||||||
foo(a = tmp2_a, b = 1)
|
foo(a = tmp2_a, b = 1)
|
||||||
}
|
}
|
||||||
|
|||||||
Vendored
+1
-1
@@ -8,7 +8,7 @@ fun String.id(s: String = <this>, vararg xs: Int): String {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test() {
|
fun test() {
|
||||||
foo(x = { //BLOCK
|
foo(x = { // BLOCK
|
||||||
local fun String.id() {
|
local fun String.id() {
|
||||||
id($receiver = receiver, ) /*~> Unit */
|
id($receiver = receiver, ) /*~> Unit */
|
||||||
}
|
}
|
||||||
|
|||||||
+7
-7
@@ -55,7 +55,7 @@ fun withVararg(vararg xs: Int): Int {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test1() {
|
fun test1() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: A = A
|
val tmp0_array: A = A
|
||||||
val tmp2_sam: IFoo = local fun withVararg(p0: Int) {
|
val tmp2_sam: IFoo = local fun withVararg(p0: Int) {
|
||||||
withVararg(xs = [p0]) /*~> Unit */
|
withVararg(xs = [p0]) /*~> Unit */
|
||||||
@@ -66,7 +66,7 @@ fun test1() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2() {
|
fun test2() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: B = B
|
val tmp0_array: B = B
|
||||||
val tmp2_sam: IFoo2 = local fun withVararg(p0: Int) {
|
val tmp2_sam: IFoo2 = local fun withVararg(p0: Int) {
|
||||||
withVararg(xs = [p0]) /*~> Unit */
|
withVararg(xs = [p0]) /*~> Unit */
|
||||||
@@ -77,7 +77,7 @@ fun test2() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test3(fn: Function1<Int, Unit>) {
|
fun test3(fn: Function1<Int, Unit>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: A = A
|
val tmp0_array: A = A
|
||||||
val tmp2_sam: IFoo = fn /*-> IFoo */
|
val tmp2_sam: IFoo = fn /*-> IFoo */
|
||||||
set($receiver = tmp0_array, i = tmp2_sam, newValue = get($receiver = tmp0_array, i = tmp2_sam).plus(other = 1))
|
set($receiver = tmp0_array, i = tmp2_sam, newValue = get($receiver = tmp0_array, i = tmp2_sam).plus(other = 1))
|
||||||
@@ -86,8 +86,8 @@ fun test3(fn: Function1<Int, Unit>) {
|
|||||||
|
|
||||||
fun test4(fn: Function1<Int, Unit>) {
|
fun test4(fn: Function1<Int, Unit>) {
|
||||||
when {
|
when {
|
||||||
fn is IFoo -> { //BLOCK
|
fn is IFoo -> { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: A = A
|
val tmp0_array: A = A
|
||||||
val tmp1_index0: Function1<Int, Unit> = fn
|
val tmp1_index0: Function1<Int, Unit> = fn
|
||||||
set($receiver = tmp0_array, i = tmp1_index0 /*as IFoo */, newValue = get($receiver = tmp0_array, i = tmp1_index0 /*as IFoo */).plus(other = 1))
|
set($receiver = tmp0_array, i = tmp1_index0 /*as IFoo */, newValue = get($receiver = tmp0_array, i = tmp1_index0 /*as IFoo */).plus(other = 1))
|
||||||
@@ -98,7 +98,7 @@ fun test4(fn: Function1<Int, Unit>) {
|
|||||||
|
|
||||||
fun test5(a: Any) {
|
fun test5(a: Any) {
|
||||||
a as Function1<Int, Unit> /*~> Unit */
|
a as Function1<Int, Unit> /*~> Unit */
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: A = A
|
val tmp0_array: A = A
|
||||||
val tmp2_sam: IFoo = a /*as Function1<@ParameterName(...) Int, Unit> */ /*-> IFoo */
|
val tmp2_sam: IFoo = a /*as Function1<@ParameterName(...) Int, Unit> */ /*-> IFoo */
|
||||||
set($receiver = tmp0_array, i = tmp2_sam, newValue = get($receiver = tmp0_array, i = tmp2_sam).plus(other = 1))
|
set($receiver = tmp0_array, i = tmp2_sam, newValue = get($receiver = tmp0_array, i = tmp2_sam).plus(other = 1))
|
||||||
@@ -108,7 +108,7 @@ fun test5(a: Any) {
|
|||||||
fun test6(a: Any) {
|
fun test6(a: Any) {
|
||||||
a as Function1<Int, Unit> /*~> Unit */
|
a as Function1<Int, Unit> /*~> Unit */
|
||||||
a as IFoo /*~> Unit */
|
a as IFoo /*~> Unit */
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: A = A
|
val tmp0_array: A = A
|
||||||
val tmp1_index0: Any = a
|
val tmp1_index0: Any = a
|
||||||
set($receiver = tmp0_array, i = tmp1_index0 /*as IFoo */, newValue = get($receiver = tmp0_array, i = tmp1_index0 /*as IFoo */).plus(other = 1))
|
set($receiver = tmp0_array, i = tmp1_index0 /*as IFoo */, newValue = get($receiver = tmp0_array, i = tmp1_index0 /*as IFoo */).plus(other = 1))
|
||||||
|
|||||||
Vendored
+2
-2
@@ -46,7 +46,7 @@ fun testConstructor(): Any {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testInnerClassConstructor(outer: Outer): Any {
|
fun testInnerClassConstructor(outer: Outer): Any {
|
||||||
return use(fn = { //BLOCK
|
return use(fn = { // BLOCK
|
||||||
local fun Outer.<init>(p0: Int): Inner {
|
local fun Outer.<init>(p0: Int): Inner {
|
||||||
return TODO("IrConstructorCall")
|
return TODO("IrConstructorCall")
|
||||||
}
|
}
|
||||||
@@ -57,7 +57,7 @@ fun testInnerClassConstructor(outer: Outer): Any {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testInnerClassConstructorCapturingOuter(): Any {
|
fun testInnerClassConstructorCapturingOuter(): Any {
|
||||||
return use(fn = { //BLOCK
|
return use(fn = { // BLOCK
|
||||||
local fun Outer.<init>(p0: Int): Inner {
|
local fun Outer.<init>(p0: Int): Inner {
|
||||||
return TODO("IrConstructorCall")
|
return TODO("IrConstructorCall")
|
||||||
}
|
}
|
||||||
|
|||||||
+1
-1
@@ -92,7 +92,7 @@ fun testWithDefaults() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testWithBoundReceiver() {
|
fun testWithBoundReceiver() {
|
||||||
useSuspend(fn = { //BLOCK
|
useSuspend(fn = { // BLOCK
|
||||||
local suspend fun C.bar() {
|
local suspend fun C.bar() {
|
||||||
receiver.bar()
|
receiver.bar()
|
||||||
}
|
}
|
||||||
|
|||||||
+2
-2
@@ -44,7 +44,7 @@ fun testUnbound() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testBound(a: A) {
|
fun testBound(a: A) {
|
||||||
use2(fn = { //BLOCK
|
use2(fn = { // BLOCK
|
||||||
local fun A.foo(p0: Int) {
|
local fun A.foo(p0: Int) {
|
||||||
receiver.foo(xs = [p0]) /*~> Unit */
|
receiver.foo(xs = [p0]) /*~> Unit */
|
||||||
}
|
}
|
||||||
@@ -55,7 +55,7 @@ fun testBound(a: A) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testObject() {
|
fun testObject() {
|
||||||
use2(fn = { //BLOCK
|
use2(fn = { // BLOCK
|
||||||
local fun Obj.foo(p0: Int) {
|
local fun Obj.foo(p0: Int) {
|
||||||
receiver.foo(xs = [p0]) /*~> Unit */
|
receiver.foo(xs = [p0]) /*~> Unit */
|
||||||
}
|
}
|
||||||
|
|||||||
+1
-1
@@ -59,7 +59,7 @@ fun testCoercionToUnit() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testImportedObjectMember(): String {
|
fun testImportedObjectMember(): String {
|
||||||
return use(fn = { //BLOCK
|
return use(fn = { // BLOCK
|
||||||
local fun importedObjectMemberWithVarargs(p0: Int): String {
|
local fun importedObjectMemberWithVarargs(p0: Int): String {
|
||||||
return importedObjectMemberWithVarargs(xs = [p0])
|
return importedObjectMemberWithVarargs(xs = [p0])
|
||||||
}
|
}
|
||||||
|
|||||||
Vendored
+5
-5
@@ -14,7 +14,7 @@ class Host {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testImplicitThis() {
|
fun testImplicitThis() {
|
||||||
use(fn = { //BLOCK
|
use(fn = { // BLOCK
|
||||||
local fun Host.withVararg(p0: Int) {
|
local fun Host.withVararg(p0: Int) {
|
||||||
receiver.withVararg(xs = [p0]) /*~> Unit */
|
receiver.withVararg(xs = [p0]) /*~> Unit */
|
||||||
}
|
}
|
||||||
@@ -26,7 +26,7 @@ class Host {
|
|||||||
|
|
||||||
fun testBoundReceiverLocalVal() {
|
fun testBoundReceiverLocalVal() {
|
||||||
val h: Host = TODO("IrConstructorCall")
|
val h: Host = TODO("IrConstructorCall")
|
||||||
use(fn = { //BLOCK
|
use(fn = { // BLOCK
|
||||||
local fun Host.withVararg(p0: Int) {
|
local fun Host.withVararg(p0: Int) {
|
||||||
receiver.withVararg(xs = [p0]) /*~> Unit */
|
receiver.withVararg(xs = [p0]) /*~> Unit */
|
||||||
}
|
}
|
||||||
@@ -38,7 +38,7 @@ class Host {
|
|||||||
|
|
||||||
fun testBoundReceiverLocalVar() {
|
fun testBoundReceiverLocalVar() {
|
||||||
var h: Host = TODO("IrConstructorCall")
|
var h: Host = TODO("IrConstructorCall")
|
||||||
use(fn = { //BLOCK
|
use(fn = { // BLOCK
|
||||||
local fun Host.withVararg(p0: Int) {
|
local fun Host.withVararg(p0: Int) {
|
||||||
receiver.withVararg(xs = [p0]) /*~> Unit */
|
receiver.withVararg(xs = [p0]) /*~> Unit */
|
||||||
}
|
}
|
||||||
@@ -49,7 +49,7 @@ class Host {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testBoundReceiverParameter(h: Host) {
|
fun testBoundReceiverParameter(h: Host) {
|
||||||
use(fn = { //BLOCK
|
use(fn = { // BLOCK
|
||||||
local fun Host.withVararg(p0: Int) {
|
local fun Host.withVararg(p0: Int) {
|
||||||
receiver.withVararg(xs = [p0]) /*~> Unit */
|
receiver.withVararg(xs = [p0]) /*~> Unit */
|
||||||
}
|
}
|
||||||
@@ -60,7 +60,7 @@ class Host {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testBoundReceiverExpression() {
|
fun testBoundReceiverExpression() {
|
||||||
use(fn = { //BLOCK
|
use(fn = { // BLOCK
|
||||||
local fun Host.withVararg(p0: Int) {
|
local fun Host.withVararg(p0: Int) {
|
||||||
receiver.withVararg(xs = [p0]) /*~> Unit */
|
receiver.withVararg(xs = [p0]) /*~> Unit */
|
||||||
}
|
}
|
||||||
|
|||||||
+2
-2
@@ -1,8 +1,8 @@
|
|||||||
fun sum(vararg args: Int): Int {
|
fun sum(vararg args: Int): Int {
|
||||||
var result: Int = 0
|
var result: Int = 0
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: IntIterator = args.iterator()
|
val tmp0_iterator: IntIterator = args.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val arg: Int = tmp0_iterator.next()
|
val arg: Int = tmp0_iterator.next()
|
||||||
result = result.plus(other = arg)
|
result = result.plus(other = arg)
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -1,8 +1,8 @@
|
|||||||
fun test(f: Function0<Unit>) {
|
fun test(f: Function0<Unit>) {
|
||||||
return try { //BLOCK
|
return try { // BLOCK
|
||||||
f.invoke()
|
f.invoke()
|
||||||
}
|
}
|
||||||
catch (...) { //BLOCK
|
catch (...) { // BLOCK
|
||||||
throw e
|
throw e
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -19,10 +19,10 @@ class C {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test(nc: C?): C? {
|
fun test(nc: C?): C? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp3_safe_receiver: C? = { //BLOCK
|
val tmp3_safe_receiver: C? = { // BLOCK
|
||||||
val tmp2_safe_receiver: C? = { //BLOCK
|
val tmp2_safe_receiver: C? = { // BLOCK
|
||||||
val tmp1_safe_receiver: C? = { //BLOCK
|
val tmp1_safe_receiver: C? = { // BLOCK
|
||||||
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
|
||||||
|
|||||||
@@ -10,14 +10,14 @@ fun test2(mc: MutableCollection<String>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test3() {
|
fun test3() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_safe_receiver: @FlexibleNullability PrintStream? = #out
|
val tmp0_safe_receiver: @FlexibleNullability PrintStream? = #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,")
|
true -> tmp0_safe_receiver /*!! PrintStream */.println(p0 = "Hello,")
|
||||||
}
|
}
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_safe_receiver: @FlexibleNullability PrintStream? = #out
|
val tmp1_safe_receiver: @FlexibleNullability PrintStream? = #out
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
|
EQEQ(arg0 = tmp1_safe_receiver, arg1 = null) -> null
|
||||||
|
|||||||
@@ -51,9 +51,9 @@ object X1 {
|
|||||||
|
|
||||||
fun test1(a: IntArray) {
|
fun test1(a: IntArray) {
|
||||||
var i: Int = 0
|
var i: Int = 0
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_array: IntArray = a
|
val tmp1_array: IntArray = a
|
||||||
val tmp2_index0: Int = { //BLOCK
|
val tmp2_index0: Int = { // BLOCK
|
||||||
val tmp0: Int = i
|
val tmp0: Int = i
|
||||||
i = tmp0.inc()
|
i = tmp0.inc()
|
||||||
tmp0
|
tmp0
|
||||||
@@ -65,25 +65,25 @@ fun test1(a: IntArray) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2() {
|
fun test2() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_this: X1 = X1
|
val tmp0_this: X1 = X1
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1: Int = tmp0_this.<get-x1>()
|
val tmp1: Int = tmp0_this.<get-x1>()
|
||||||
tmp0_this.<set-x1>(<set-?> = tmp1.inc())
|
tmp0_this.<set-x1>(<set-?> = tmp1.inc())
|
||||||
tmp1
|
tmp1
|
||||||
}
|
}
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp2_this: X2 = X2
|
val tmp2_this: X2 = X2
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp3: Int = tmp2_this.<get-x2>()
|
val tmp3: Int = tmp2_this.<get-x2>()
|
||||||
tmp2_this.<set-x2>(<set-?> = tmp3.inc())
|
tmp2_this.<set-x2>(<set-?> = tmp3.inc())
|
||||||
tmp3
|
tmp3
|
||||||
}
|
}
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp4_this: X3 = X3
|
val tmp4_this: X3 = X3
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp5: Int = tmp4_this.<get-x3>()
|
val tmp5: Int = tmp4_this.<get-x3>()
|
||||||
tmp4_this.<set-x3>(<set-?> = tmp5.inc())
|
tmp4_this.<set-x3>(<set-?> = tmp5.inc())
|
||||||
tmp5
|
tmp5
|
||||||
@@ -116,7 +116,7 @@ object Host {
|
|||||||
}
|
}
|
||||||
|
|
||||||
operator fun B.plusAssign(b: B) {
|
operator fun B.plusAssign(b: B) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_this: B = <this>
|
val tmp0_this: B = <this>
|
||||||
tmp0_this.<set-s>(<set-?> = tmp0_this.<get-s>().plus(other = b.<get-s>()))
|
tmp0_this.<set-s>(<set-?> = tmp0_this.<get-s>().plus(other = b.<get-s>()))
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -3,7 +3,7 @@ fun length(s: String): Int {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun lengthN(s: String?): Int? {
|
fun lengthN(s: String?): Int? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
|
|||||||
+5
-5
@@ -7,7 +7,7 @@ fun foo(): Any? {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test1(a: Any?, b: Any): Any {
|
fun test1(a: Any?, b: Any): Any {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -17,7 +17,7 @@ fun test1(a: Any?, b: Any): Any {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2(a: String?, b: Any): Any {
|
fun test2(a: String?, b: Any): Any {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -33,7 +33,7 @@ fun test3(a: Any?, b: Any?): String {
|
|||||||
when {
|
when {
|
||||||
a !is String? -> return ""
|
a !is String? -> return ""
|
||||||
}
|
}
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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 */
|
||||||
@@ -43,7 +43,7 @@ fun test3(a: Any?, b: Any?): String {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test4(x: Any): Any {
|
fun test4(x: Any): Any {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -53,7 +53,7 @@ fun test4(x: Any): Any {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test5(x: Any): Any {
|
fun test5(x: Any): Any {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
|
|||||||
@@ -20,7 +20,7 @@ enum class A : Enum<A> {
|
|||||||
|
|
||||||
fun testVariableAssignment_throws(a: A) {
|
fun testVariableAssignment_throws(a: A) {
|
||||||
val x: Int
|
val x: Int
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> x = 11
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> x = 11
|
||||||
@@ -30,7 +30,7 @@ fun testVariableAssignment_throws(a: A) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testStatement_empty(a: A) {
|
fun testStatement_empty(a: A) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
||||||
@@ -39,7 +39,7 @@ fun testStatement_empty(a: A) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testParenthesized_throwsJvm(a: A) {
|
fun testParenthesized_throwsJvm(a: A) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
||||||
@@ -48,7 +48,7 @@ fun testParenthesized_throwsJvm(a: A) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testAnnotated_throwsJvm(a: A) {
|
fun testAnnotated_throwsJvm(a: A) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
||||||
@@ -57,7 +57,7 @@ fun testAnnotated_throwsJvm(a: A) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testExpression_throws(a: A): Int {
|
fun testExpression_throws(a: A): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1
|
||||||
@@ -69,8 +69,8 @@ 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
|
true -> { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
||||||
@@ -83,8 +83,8 @@ 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
|
true -> { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
||||||
@@ -97,8 +97,8 @@ 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
|
true -> { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1 /*~> Unit */
|
||||||
@@ -110,7 +110,7 @@ fun testIfTheElseAnnotated_throwsJvm(a: A, flag: Boolean) {
|
|||||||
|
|
||||||
fun testLambdaResultExpression_throws(a: A) {
|
fun testLambdaResultExpression_throws(a: A) {
|
||||||
local fun <anonymous>(): Int {
|
local fun <anonymous>(): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_subject: A = a
|
val tmp0_subject: A = a
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1
|
EQEQ(arg0 = tmp0_subject, arg1 = A) -> 1
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
fun test(receiver: Any?, fn: @ExtensionFunctionType Function3<Any, Int, String, Unit>): Unit? {
|
fun test(receiver: Any?, fn: @ExtensionFunctionType Function3<Any, Int, String, Unit>): Unit? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
|
|||||||
Vendored
+1
-1
@@ -1,6 +1,6 @@
|
|||||||
fun test(x: Any?, y: Double): Boolean {
|
fun test(x: Any?, y: Double): Boolean {
|
||||||
return when {
|
return when {
|
||||||
x is Int -> less(arg0 = { //BLOCK
|
x is Int -> less(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
|
||||||
|
|||||||
Vendored
+3
-3
@@ -4,7 +4,7 @@ fun testDD(x: Double?, y: Double?): Boolean {
|
|||||||
|
|
||||||
fun testDF(x: Double?, y: Any?): Boolean {
|
fun testDF(x: Double?, y: Any?): Boolean {
|
||||||
return when {
|
return when {
|
||||||
y is Float? -> ieee754equals(arg0 = x, arg1 = { //BLOCK
|
y is Float? -> ieee754equals(arg0 = x, arg1 = { // BLOCK
|
||||||
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
|
||||||
@@ -17,7 +17,7 @@ fun testDF(x: Double?, y: Any?): Boolean {
|
|||||||
|
|
||||||
fun testDI(x: Double?, y: Any?): Boolean {
|
fun testDI(x: Double?, y: Any?): Boolean {
|
||||||
return when {
|
return when {
|
||||||
y is Int? -> ieee754equals(arg0 = x, arg1 = { //BLOCK
|
y is Int? -> ieee754equals(arg0 = x, arg1 = { // BLOCK
|
||||||
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
|
||||||
@@ -33,7 +33,7 @@ fun testDI2(x: Any?, y: Any?): Boolean {
|
|||||||
when {
|
when {
|
||||||
x is Int? -> y is Double
|
x is Int? -> y is Double
|
||||||
true -> false
|
true -> 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
|
||||||
|
|||||||
Vendored
+6
-6
@@ -1,5 +1,5 @@
|
|||||||
fun testSimple(x: Double): Int {
|
fun testSimple(x: Double): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -12,7 +12,7 @@ fun testSmartCastInWhenSubject(x: Any): Int {
|
|||||||
when {
|
when {
|
||||||
x !is Double -> return -1
|
x !is Double -> return -1
|
||||||
}
|
}
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -25,7 +25,7 @@ fun testSmartCastInWhenCondition(x: Double, y: Any): Int {
|
|||||||
when {
|
when {
|
||||||
y !is Double -> return -1
|
y !is Double -> return -1
|
||||||
}
|
}
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -35,7 +35,7 @@ fun testSmartCastInWhenCondition(x: Double, y: Any): Int {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testSmartCastInWhenConditionInBranch(x: Any): Int {
|
fun testSmartCastInWhenConditionInBranch(x: Any): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_subject: Any = x
|
val tmp0_subject: Any = x
|
||||||
when {
|
when {
|
||||||
tmp0_subject is Double.not() -> -1
|
tmp0_subject is Double.not() -> -1
|
||||||
@@ -52,7 +52,7 @@ fun testSmartCastToDifferentTypes(x: Any, y: Any): Int {
|
|||||||
when {
|
when {
|
||||||
y !is Float -> return -1
|
y !is Float -> return -1
|
||||||
}
|
}
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -66,7 +66,7 @@ fun foo(x: Double): Double {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testWithPrematureExitInConditionSubexpression(x: Any): Int {
|
fun testWithPrematureExitInConditionSubexpression(x: Any): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_subject: Any = x
|
val tmp0_subject: Any = x
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = foo(x = when {
|
EQEQ(arg0 = tmp0_subject, arg1 = foo(x = when {
|
||||||
|
|||||||
+10
-10
@@ -1,18 +1,18 @@
|
|||||||
fun testEmpty(ss: List<String>) {
|
fun testEmpty(ss: List<String>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<String> = ss.iterator()
|
val tmp0_iterator: Iterator<String> = ss.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val s: String = tmp0_iterator.next()
|
val s: String = tmp0_iterator.next()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fun testIterable(ss: List<String>) {
|
fun testIterable(ss: List<String>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<String> = ss.iterator()
|
val tmp0_iterator: Iterator<String> = ss.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val s: String = tmp0_iterator.next()
|
val s: String = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
println(message = s)
|
println(message = s)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -20,13 +20,13 @@ fun testIterable(ss: List<String>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testDestructuring(pp: List<Pair<Int, String>>) {
|
fun testDestructuring(pp: List<Pair<Int, String>>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<Pair<Int, String>> = pp.iterator()
|
val tmp0_iterator: Iterator<Pair<Int, String>> = pp.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val tmp1_loop_parameter: Pair<Int, String> = tmp0_iterator.next()
|
val tmp1_loop_parameter: Pair<Int, String> = tmp0_iterator.next()
|
||||||
val i: Int = tmp1_loop_parameter.component1()
|
val i: Int = tmp1_loop_parameter.component1()
|
||||||
val s: String = tmp1_loop_parameter.component2()
|
val s: String = tmp1_loop_parameter.component2()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
println(message = i)
|
println(message = i)
|
||||||
println(message = s)
|
println(message = s)
|
||||||
}
|
}
|
||||||
@@ -35,9 +35,9 @@ fun testDestructuring(pp: List<Pair<Int, String>>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testRange() {
|
fun testRange() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: IntIterator = 1.rangeTo(other = 10).iterator()
|
val tmp0_iterator: IntIterator = 1.rangeTo(other = 10).iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val i: Int = tmp0_iterator.next()
|
val i: Int = tmp0_iterator.next()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -1,9 +1,9 @@
|
|||||||
fun testForBreak1(ss: List<String>) {
|
fun testForBreak1(ss: List<String>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<String> = ss.iterator()
|
val tmp0_iterator: Iterator<String> = ss.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val s: String = tmp0_iterator.next()
|
val s: String = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
break
|
break
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -11,16 +11,16 @@ fun testForBreak1(ss: List<String>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testForBreak2(ss: List<String>) {
|
fun testForBreak2(ss: List<String>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<String> = ss.iterator()
|
val tmp0_iterator: Iterator<String> = ss.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val s1: String = tmp0_iterator.next()
|
val s1: String = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_iterator: Iterator<String> = ss.iterator()
|
val tmp1_iterator: Iterator<String> = ss.iterator()
|
||||||
while (tmp1_iterator.hasNext()) { //BLOCK
|
while (tmp1_iterator.hasNext()) { // BLOCK
|
||||||
val s2: String = tmp1_iterator.next()
|
val s2: String = tmp1_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
break
|
break
|
||||||
break
|
break
|
||||||
break
|
break
|
||||||
@@ -34,11 +34,11 @@ fun testForBreak2(ss: List<String>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testForContinue1(ss: List<String>) {
|
fun testForContinue1(ss: List<String>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<String> = ss.iterator()
|
val tmp0_iterator: Iterator<String> = ss.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val s: String = tmp0_iterator.next()
|
val s: String = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
continue
|
continue
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -46,16 +46,16 @@ fun testForContinue1(ss: List<String>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testForContinue2(ss: List<String>) {
|
fun testForContinue2(ss: List<String>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<String> = ss.iterator()
|
val tmp0_iterator: Iterator<String> = ss.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val s1: String = tmp0_iterator.next()
|
val s1: String = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_iterator: Iterator<String> = ss.iterator()
|
val tmp1_iterator: Iterator<String> = ss.iterator()
|
||||||
while (tmp1_iterator.hasNext()) { //BLOCK
|
while (tmp1_iterator.hasNext()) { // BLOCK
|
||||||
val s2: String = tmp1_iterator.next()
|
val s2: String = tmp1_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
continue
|
continue
|
||||||
continue
|
continue
|
||||||
continue
|
continue
|
||||||
|
|||||||
@@ -37,9 +37,9 @@ interface IReceiver {
|
|||||||
}
|
}
|
||||||
|
|
||||||
operator fun IntCell.next(): Int {
|
operator fun IntCell.next(): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_this: IntCell = <this>
|
val tmp0_this: IntCell = <this>
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1: Int = tmp0_this.<get-value>()
|
val tmp1: Int = tmp0_this.<get-value>()
|
||||||
tmp0_this.<set-value>(<set-?> = tmp1.dec())
|
tmp0_this.<set-value>(<set-?> = tmp1.dec())
|
||||||
tmp1
|
tmp1
|
||||||
@@ -53,11 +53,11 @@ interface IReceiver {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun IReceiver.test() {
|
fun IReceiver.test() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: IntCell = <this>.iterator($receiver = FiveTimes)
|
val tmp0_iterator: IntCell = <this>.iterator($receiver = FiveTimes)
|
||||||
while (<this>.hasNext($receiver = tmp0_iterator)) { //BLOCK
|
while (<this>.hasNext($receiver = tmp0_iterator)) { // BLOCK
|
||||||
val i: Int = <this>.next($receiver = tmp0_iterator)
|
val i: Int = <this>.next($receiver = tmp0_iterator)
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
println(message = i)
|
println(message = i)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -22,7 +22,7 @@ class J {
|
|||||||
}
|
}
|
||||||
|
|
||||||
val fsi: Fn<String, Int>
|
val fsi: Fn<String, Int>
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
local class <no name provided> : Fn<String, Int> {
|
local class <no name provided> : Fn<String, Int> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
@@ -45,7 +45,7 @@ val fsi: Fn<String, Int>
|
|||||||
get
|
get
|
||||||
|
|
||||||
val fis: Fn<Int, String>
|
val fis: Fn<Int, String>
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
local class <no name provided> : Fn<Int, String> {
|
local class <no name provided> : Fn<Int, String> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
+1
-1
@@ -7,7 +7,7 @@ fun interface MyRunnable {
|
|||||||
|
|
||||||
fun test(a: Any, r: MyRunnable) {
|
fun test(a: Any, r: MyRunnable) {
|
||||||
when {
|
when {
|
||||||
a is MyRunnable -> { //BLOCK
|
a is MyRunnable -> { // BLOCK
|
||||||
foo(rs = [ local fun <anonymous>() {
|
foo(rs = [ local fun <anonymous>() {
|
||||||
return Unit
|
return Unit
|
||||||
}
|
}
|
||||||
|
|||||||
+5
-5
@@ -21,7 +21,7 @@ fun <T> test0(a: T) where T : KRunnable, T : Function0<Unit> {
|
|||||||
|
|
||||||
fun test1(a: Function0<Unit>) {
|
fun test1(a: Function0<Unit>) {
|
||||||
when {
|
when {
|
||||||
a is KRunnable -> { //BLOCK
|
a is KRunnable -> { // BLOCK
|
||||||
run1(r = a /*as KRunnable */)
|
run1(r = a /*as KRunnable */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -34,7 +34,7 @@ fun test2(a: KRunnable) {
|
|||||||
|
|
||||||
fun test3(a: Function0<Unit>) {
|
fun test3(a: Function0<Unit>) {
|
||||||
when {
|
when {
|
||||||
a is KRunnable -> { //BLOCK
|
a is KRunnable -> { // BLOCK
|
||||||
run2(r1 = a /*as KRunnable */, r2 = a /*as KRunnable */)
|
run2(r1 = a /*as KRunnable */, r2 = a /*as KRunnable */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -42,7 +42,7 @@ fun test3(a: Function0<Unit>) {
|
|||||||
|
|
||||||
fun test4(a: Function0<Unit>, b: Function0<Unit>) {
|
fun test4(a: Function0<Unit>, b: Function0<Unit>) {
|
||||||
when {
|
when {
|
||||||
a is KRunnable -> { //BLOCK
|
a is KRunnable -> { // BLOCK
|
||||||
run2(r1 = a /*as KRunnable */, r2 = b /*-> KRunnable */)
|
run2(r1 = a /*as KRunnable */, r2 = b /*-> KRunnable */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -50,7 +50,7 @@ fun test4(a: Function0<Unit>, b: Function0<Unit>) {
|
|||||||
|
|
||||||
fun test5(a: Any) {
|
fun test5(a: Any) {
|
||||||
when {
|
when {
|
||||||
a is KRunnable -> { //BLOCK
|
a is KRunnable -> { // BLOCK
|
||||||
run1(r = a /*as KRunnable */)
|
run1(r = a /*as KRunnable */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -58,7 +58,7 @@ fun test5(a: Any) {
|
|||||||
|
|
||||||
fun test5x(a: Any) {
|
fun test5x(a: Any) {
|
||||||
when {
|
when {
|
||||||
a is KRunnable -> { //BLOCK
|
a is KRunnable -> { // BLOCK
|
||||||
a as Function0<Unit> /*~> Unit */
|
a as Function0<Unit> /*~> Unit */
|
||||||
run1(r = a /*as KRunnable */)
|
run1(r = a /*as KRunnable */)
|
||||||
}
|
}
|
||||||
|
|||||||
+4
-4
@@ -8,7 +8,7 @@ fun test(i: Int): Int {
|
|||||||
|
|
||||||
fun testEmptyBranches1(flag: Boolean) {
|
fun testEmptyBranches1(flag: Boolean) {
|
||||||
when {
|
when {
|
||||||
flag -> { //BLOCK
|
flag -> { // BLOCK
|
||||||
}
|
}
|
||||||
true -> true /*~> Unit */
|
true -> true /*~> Unit */
|
||||||
}
|
}
|
||||||
@@ -19,20 +19,20 @@ fun testEmptyBranches1(flag: Boolean) {
|
|||||||
|
|
||||||
fun testEmptyBranches2(flag: Boolean) {
|
fun testEmptyBranches2(flag: Boolean) {
|
||||||
when {
|
when {
|
||||||
flag -> { //BLOCK
|
flag -> { // BLOCK
|
||||||
}
|
}
|
||||||
true -> true /*~> Unit */
|
true -> true /*~> Unit */
|
||||||
}
|
}
|
||||||
when {
|
when {
|
||||||
flag -> true /*~> Unit */
|
flag -> true /*~> Unit */
|
||||||
true -> { //BLOCK
|
true -> { // BLOCK
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fun testEmptyBranches3(flag: Boolean) {
|
fun testEmptyBranches3(flag: Boolean) {
|
||||||
when {
|
when {
|
||||||
flag -> { //BLOCK
|
flag -> { // BLOCK
|
||||||
}
|
}
|
||||||
true -> true /*~> Unit */
|
true -> true /*~> Unit */
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -9,11 +9,11 @@ val arr: IntArray
|
|||||||
|
|
||||||
fun testVarPrefix() {
|
fun testVarPrefix() {
|
||||||
var x: Int = 0
|
var x: Int = 0
|
||||||
val x1: Int = { //BLOCK
|
val x1: Int = { // BLOCK
|
||||||
x = x.inc()
|
x = x.inc()
|
||||||
x
|
x
|
||||||
}
|
}
|
||||||
val x2: Int = { //BLOCK
|
val x2: Int = { // BLOCK
|
||||||
x = x.dec()
|
x = x.dec()
|
||||||
x
|
x
|
||||||
}
|
}
|
||||||
@@ -21,12 +21,12 @@ fun testVarPrefix() {
|
|||||||
|
|
||||||
fun testVarPostfix() {
|
fun testVarPostfix() {
|
||||||
var x: Int = 0
|
var x: Int = 0
|
||||||
val x1: Int = { //BLOCK
|
val x1: Int = { // BLOCK
|
||||||
val tmp0: Int = x
|
val tmp0: Int = x
|
||||||
x = tmp0.inc()
|
x = tmp0.inc()
|
||||||
tmp0
|
tmp0
|
||||||
}
|
}
|
||||||
val x2: Int = { //BLOCK
|
val x2: Int = { // BLOCK
|
||||||
val tmp1: Int = x
|
val tmp1: Int = x
|
||||||
x = tmp1.dec()
|
x = tmp1.dec()
|
||||||
tmp1
|
tmp1
|
||||||
@@ -34,14 +34,14 @@ fun testVarPostfix() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testPropPrefix() {
|
fun testPropPrefix() {
|
||||||
val p1: Int = { //BLOCK
|
val p1: Int = { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
<set-p>(<set-?> = <get-p>().inc())
|
<set-p>(<set-?> = <get-p>().inc())
|
||||||
<get-p>()
|
<get-p>()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
val p2: Int = { //BLOCK
|
val p2: Int = { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
<set-p>(<set-?> = <get-p>().dec())
|
<set-p>(<set-?> = <get-p>().dec())
|
||||||
<get-p>()
|
<get-p>()
|
||||||
}
|
}
|
||||||
@@ -49,15 +49,15 @@ fun testPropPrefix() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testPropPostfix() {
|
fun testPropPostfix() {
|
||||||
val p1: Int = { //BLOCK
|
val p1: Int = { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0: Int = <get-p>()
|
val tmp0: Int = <get-p>()
|
||||||
<set-p>(<set-?> = tmp0.inc())
|
<set-p>(<set-?> = tmp0.inc())
|
||||||
tmp0
|
tmp0
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
val p2: Int = { //BLOCK
|
val p2: Int = { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
<set-p>(<set-?> = <get-p>().dec())
|
<set-p>(<set-?> = <get-p>().dec())
|
||||||
<get-p>()
|
<get-p>()
|
||||||
}
|
}
|
||||||
@@ -65,13 +65,13 @@ fun testPropPostfix() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testArrayPrefix() {
|
fun testArrayPrefix() {
|
||||||
val a1: Int = { //BLOCK
|
val a1: Int = { // BLOCK
|
||||||
val tmp0_array: IntArray = <get-arr>()
|
val tmp0_array: IntArray = <get-arr>()
|
||||||
val tmp1_index0: Int = 0
|
val tmp1_index0: Int = 0
|
||||||
tmp0_array.set(index = tmp1_index0, value = tmp0_array.get(index = tmp1_index0).inc())
|
tmp0_array.set(index = tmp1_index0, value = tmp0_array.get(index = tmp1_index0).inc())
|
||||||
tmp0_array.get(index = tmp1_index0)
|
tmp0_array.get(index = tmp1_index0)
|
||||||
}
|
}
|
||||||
val a2: Int = { //BLOCK
|
val a2: Int = { // BLOCK
|
||||||
val tmp2_array: IntArray = <get-arr>()
|
val tmp2_array: IntArray = <get-arr>()
|
||||||
val tmp3_index0: Int = 0
|
val tmp3_index0: Int = 0
|
||||||
tmp2_array.set(index = tmp3_index0, value = tmp2_array.get(index = tmp3_index0).dec())
|
tmp2_array.set(index = tmp3_index0, value = tmp2_array.get(index = tmp3_index0).dec())
|
||||||
@@ -80,14 +80,14 @@ fun testArrayPrefix() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testArrayPostfix() {
|
fun testArrayPostfix() {
|
||||||
val a1: Int = { //BLOCK
|
val a1: Int = { // BLOCK
|
||||||
val tmp0_array: IntArray = <get-arr>()
|
val tmp0_array: IntArray = <get-arr>()
|
||||||
val tmp1_index0: Int = 0
|
val tmp1_index0: Int = 0
|
||||||
val tmp2: Int = tmp0_array.get(index = tmp1_index0)
|
val tmp2: Int = tmp0_array.get(index = tmp1_index0)
|
||||||
tmp0_array.set(index = tmp1_index0, value = tmp2.inc())
|
tmp0_array.set(index = tmp1_index0, value = tmp2.inc())
|
||||||
tmp2
|
tmp2
|
||||||
}
|
}
|
||||||
val a2: Int = { //BLOCK
|
val a2: Int = { // BLOCK
|
||||||
val tmp3_array: IntArray = <get-arr>()
|
val tmp3_array: IntArray = <get-arr>()
|
||||||
val tmp4_index0: Int = 0
|
val tmp4_index0: Int = 0
|
||||||
val tmp5: Int = tmp3_array.get(index = tmp4_index0)
|
val tmp5: Int = tmp3_array.get(index = tmp4_index0)
|
||||||
|
|||||||
+3
-3
@@ -1,15 +1,15 @@
|
|||||||
fun <F : Any?> test(j: J<F>) {
|
fun <F : Any?> test(j: J<F>) {
|
||||||
j.getFoo<F>() /*~> Unit */
|
j.getFoo<F>() /*~> Unit */
|
||||||
j.setFoo<F>(x = 1)
|
j.setFoo<F>(x = 1)
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_receiver: J<F> = j
|
val tmp0_receiver: J<F> = j
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1: Int = tmp0_receiver.getFoo<F>()
|
val tmp1: Int = tmp0_receiver.getFoo<F>()
|
||||||
tmp0_receiver.setFoo<F>(x = tmp1.inc())
|
tmp0_receiver.setFoo<F>(x = tmp1.inc())
|
||||||
tmp1
|
tmp1
|
||||||
}
|
}
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp2_receiver: J<F> = j
|
val tmp2_receiver: J<F> = j
|
||||||
tmp2_receiver.setFoo<F>(x = tmp2_receiver.getFoo<F>().plus(other = 1))
|
tmp2_receiver.setFoo<F>(x = tmp2_receiver.getFoo<F>().plus(other = 1))
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -1,15 +1,15 @@
|
|||||||
fun test(j: J) {
|
fun test(j: J) {
|
||||||
j.getFoo() /*~> Unit */
|
j.getFoo() /*~> Unit */
|
||||||
j.setFoo(x = 1)
|
j.setFoo(x = 1)
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_receiver: J = j
|
val tmp0_receiver: J = j
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1: Int = tmp0_receiver.getFoo()
|
val tmp1: Int = tmp0_receiver.getFoo()
|
||||||
tmp0_receiver.setFoo(x = tmp1.inc())
|
tmp0_receiver.setFoo(x = tmp1.inc())
|
||||||
tmp1
|
tmp1
|
||||||
}
|
}
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp2_receiver: J = j
|
val tmp2_receiver: J = j
|
||||||
tmp2_receiver.setFoo(x = tmp2_receiver.getFoo().plus(other = 1))
|
tmp2_receiver.setFoo(x = tmp2_receiver.getFoo().plus(other = 1))
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -20,7 +20,7 @@ class TestClass {
|
|||||||
|
|
||||||
val test: Int
|
val test: Int
|
||||||
field = when {
|
field = when {
|
||||||
true -> { //BLOCK
|
true -> { // BLOCK
|
||||||
#out /*!! PrintStream */.println(p0 = "TestClass/test")
|
#out /*!! PrintStream */.println(p0 = "TestClass/test")
|
||||||
42
|
42
|
||||||
}
|
}
|
||||||
|
|||||||
+2
-2
@@ -39,11 +39,11 @@ class Test1 : A {
|
|||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
/* InstanceInitializerCall */
|
/* InstanceInitializerCall */
|
||||||
|
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_this: Test1 = <this>
|
val tmp0_this: Test1 = <this>
|
||||||
tmp0_this.<get-x>().plusAssign(x = 42)
|
tmp0_this.<get-x>().plusAssign(x = 42)
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_this: Test1 = <this>
|
val tmp1_this: Test1 = <this>
|
||||||
tmp1_this.<set-y>(<set-?> = tmp1_this.<get-y>().plus(other = 42))
|
tmp1_this.<set-y>(<set-?> = tmp1_this.<get-y>().plus(other = 42))
|
||||||
}
|
}
|
||||||
|
|||||||
+1
-1
@@ -4,7 +4,7 @@ inline fun foo(): Boolean {
|
|||||||
|
|
||||||
fun run(x: Boolean, y: Boolean): String {
|
fun run(x: Boolean, y: Boolean): String {
|
||||||
var z: Int = 10
|
var z: Int = 10
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
z = z.plus(other = 1)
|
z = z.plus(other = 1)
|
||||||
when {
|
when {
|
||||||
|
|||||||
+1
-1
@@ -1,7 +1,7 @@
|
|||||||
fun box(): String {
|
fun box(): String {
|
||||||
var r: String = ""
|
var r: String = ""
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = r, arg1 = "").not() -> { //BLOCK
|
EQEQ(arg0 = r, arg1 = "").not() -> { // BLOCK
|
||||||
}
|
}
|
||||||
true -> r = r.plus(other = "O")
|
true -> r = r.plus(other = "O")
|
||||||
}
|
}
|
||||||
|
|||||||
+2
-2
@@ -22,7 +22,7 @@ fun testSimpleAssignment(a: A) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testPostfixIncrement(a: A): Int {
|
fun testPostfixIncrement(a: A): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_array: A = a
|
val tmp0_array: A = a
|
||||||
val tmp1_index0: Int = 1
|
val tmp1_index0: Int = 1
|
||||||
val tmp2_index1: Int = 2
|
val tmp2_index1: Int = 2
|
||||||
@@ -33,7 +33,7 @@ fun testPostfixIncrement(a: A): Int {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testCompoundAssignment(a: A) {
|
fun testCompoundAssignment(a: A) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: A = a
|
val tmp0_array: A = a
|
||||||
val tmp1_index0: Int = 1
|
val tmp1_index0: Int = 1
|
||||||
val tmp2_index1: Int = 2
|
val tmp2_index1: Int = 2
|
||||||
|
|||||||
+2
-2
@@ -22,7 +22,7 @@ fun testSimpleAssignment(a: A) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testPostfixIncrement(a: A): Int {
|
fun testPostfixIncrement(a: A): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_array: A = a
|
val tmp0_array: A = a
|
||||||
val tmp1_index0: Int = 1
|
val tmp1_index0: Int = 1
|
||||||
val tmp2: Int = get($receiver = tmp0_array, i = tmp1_index0)
|
val tmp2: Int = get($receiver = tmp0_array, i = tmp1_index0)
|
||||||
@@ -32,7 +32,7 @@ fun testPostfixIncrement(a: A): Int {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testCompoundAssignment(a: A) {
|
fun testCompoundAssignment(a: A) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: A = a
|
val tmp0_array: A = a
|
||||||
val tmp1_index0: Int = 1
|
val tmp1_index0: Int = 1
|
||||||
set($receiver = tmp0_array, i = tmp1_index0, v = get($receiver = tmp0_array, i = tmp1_index0).plus(other = 10))
|
set($receiver = tmp0_array, i = tmp1_index0, v = get($receiver = tmp0_array, i = tmp1_index0).plus(other = 10))
|
||||||
|
|||||||
+3
-3
@@ -9,21 +9,21 @@ interface X {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test(x: X, nx: X?) {
|
fun test(x: X, nx: X?) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_this: X = x
|
val tmp0_this: X = x
|
||||||
plusAssign<Int>($receiver = tmp0_this.<get-xs>(), element = 1)
|
plusAssign<Int>($receiver = tmp0_this.<get-xs>(), element = 1)
|
||||||
}
|
}
|
||||||
plusAssign<Int>($receiver = x.f(), element = 2)
|
plusAssign<Int>($receiver = x.f(), element = 2)
|
||||||
plusAssign<Int>($receiver = x.<get-xs>() as MutableList<Int>, element = 3)
|
plusAssign<Int>($receiver = x.<get-xs>() as MutableList<Int>, element = 3)
|
||||||
plusAssign<Int>($receiver = x.f() as MutableList<Int>, element = 4)
|
plusAssign<Int>($receiver = x.f() as MutableList<Int>, element = 4)
|
||||||
plusAssign<Int>($receiver = CHECK_NOT_NULL<MutableList<Any>>(arg0 = { //BLOCK
|
plusAssign<Int>($receiver = CHECK_NOT_NULL<MutableList<Any>>(arg0 = { // BLOCK
|
||||||
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>()
|
true -> tmp1_safe_receiver.<get-xs>()
|
||||||
}
|
}
|
||||||
}), element = 5)
|
}), element = 5)
|
||||||
plusAssign<Int>($receiver = CHECK_NOT_NULL<MutableList<Any>>(arg0 = { //BLOCK
|
plusAssign<Int>($receiver = 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
|
||||||
|
|||||||
+12
-12
@@ -3,17 +3,17 @@ fun <T : Any?> magic(): T {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun <T : Any?> test(value: T, value2: T) {
|
fun <T : Any?> test(value: T, value2: T) {
|
||||||
val x1: Any = { //BLOCK
|
val x1: Any = { // BLOCK
|
||||||
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
|
true -> tmp0_elvis_lhs
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
val x2: Any = { //BLOCK
|
val x2: Any = { // BLOCK
|
||||||
val tmp2_elvis_lhs: T = value
|
val tmp2_elvis_lhs: T = value
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp2_elvis_lhs, arg1 = null) -> { //BLOCK
|
EQEQ(arg0 = tmp2_elvis_lhs, arg1 = null) -> { // BLOCK
|
||||||
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
|
||||||
@@ -23,8 +23,8 @@ fun <T : Any?> test(value: T, value2: T) {
|
|||||||
true -> tmp2_elvis_lhs
|
true -> tmp2_elvis_lhs
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
val x3: Any = { //BLOCK
|
val x3: Any = { // BLOCK
|
||||||
val tmp4_elvis_lhs: T = { //BLOCK
|
val tmp4_elvis_lhs: T = { // BLOCK
|
||||||
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
|
||||||
@@ -36,8 +36,8 @@ fun <T : Any?> test(value: T, value2: T) {
|
|||||||
true -> tmp4_elvis_lhs
|
true -> tmp4_elvis_lhs
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
val x4: Any = { //BLOCK
|
val x4: Any = { // BLOCK
|
||||||
val tmp6_elvis_lhs: T = { //BLOCK
|
val tmp6_elvis_lhs: T = { // BLOCK
|
||||||
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
|
||||||
@@ -49,15 +49,15 @@ fun <T : Any?> test(value: T, value2: T) {
|
|||||||
true -> tmp6_elvis_lhs
|
true -> 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
|
true -> tmp7_elvis_lhs
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
val x6: Any = { //BLOCK
|
val x6: Any = { // BLOCK
|
||||||
val tmp9_elvis_lhs: Any? = { //BLOCK
|
val tmp9_elvis_lhs: Any? = { // BLOCK
|
||||||
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?>()
|
||||||
@@ -69,8 +69,8 @@ fun <T : Any?> test(value: T, value2: T) {
|
|||||||
true -> tmp9_elvis_lhs
|
true -> tmp9_elvis_lhs
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
val x7: Any = { //BLOCK
|
val x7: Any = { // BLOCK
|
||||||
val tmp11_elvis_lhs: Any? = { //BLOCK
|
val tmp11_elvis_lhs: Any? = { // BLOCK
|
||||||
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
|
||||||
|
|||||||
+1
-1
@@ -26,7 +26,7 @@ val aFloat: A<Float>
|
|||||||
get
|
get
|
||||||
|
|
||||||
val aInt: Float
|
val aInt: Float
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
val tmp0_array: A<Float> = <get-aFloat>()
|
val tmp0_array: A<Float> = <get-aFloat>()
|
||||||
val tmp1_index0: Int = 1
|
val tmp1_index0: Int = 1
|
||||||
val tmp2: Float = tmp0_array.get(i = tmp1_index0)
|
val tmp2: Float = tmp0_array.get(i = tmp1_index0)
|
||||||
|
|||||||
@@ -16,7 +16,7 @@ fun test1(a: Any) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2(a: Any) {
|
fun test2(a: Any) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: Any = a
|
val tmp0_array: Any = a
|
||||||
val tmp1_index0: Function0<Unit> = local fun <anonymous>() {
|
val tmp1_index0: Function0<Unit> = local fun <anonymous>() {
|
||||||
return Unit
|
return Unit
|
||||||
@@ -27,7 +27,7 @@ fun test2(a: Any) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test3(a: Any) {
|
fun test3(a: Any) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_array: Any = a
|
val tmp0_array: Any = a
|
||||||
val tmp1_index0: Function0<Unit> = local fun <anonymous>() {
|
val tmp1_index0: Function0<Unit> = local fun <anonymous>() {
|
||||||
return Unit
|
return Unit
|
||||||
|
|||||||
@@ -38,7 +38,7 @@ class Host {
|
|||||||
get
|
get
|
||||||
|
|
||||||
fun Outer.test(): Inner {
|
fun Outer.test(): Inner {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
local class <no name provided> : Inner {
|
local class <no name provided> : Inner {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
@@ -57,7 +57,7 @@ object Z {
|
|||||||
get
|
get
|
||||||
|
|
||||||
val anObject: Any
|
val anObject: Any
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
local class <no name provided> {
|
local class <no name provided> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
@@ -16,7 +16,7 @@ class C {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test(nc: C?) {
|
fun test(nc: C?) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
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 */
|
||||||
|
|||||||
+6
-6
@@ -20,7 +20,7 @@ var C?.p: Int
|
|||||||
}
|
}
|
||||||
|
|
||||||
operator fun Int?.inc(): Int? {
|
operator fun Int?.inc(): Int? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -37,13 +37,13 @@ operator fun Int?.set(index: Int, value: Int) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testProperty(nc: C?) {
|
fun testProperty(nc: C?) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
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
|
true -> { // BLOCK
|
||||||
val tmp1_receiver: C? = tmp0_safe_receiver
|
val tmp1_receiver: C? = tmp0_safe_receiver
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp2: Int = <get-p>($receiver = tmp1_receiver)
|
val tmp2: Int = <get-p>($receiver = tmp1_receiver)
|
||||||
<set-p>($receiver = tmp1_receiver, value = inc($receiver = tmp2))
|
<set-p>($receiver = tmp1_receiver, value = inc($receiver = tmp2))
|
||||||
tmp2
|
tmp2
|
||||||
@@ -54,8 +54,8 @@ fun testProperty(nc: C?) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testArrayAccess(nc: C?) {
|
fun testArrayAccess(nc: C?) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_array: Int? = { //BLOCK
|
val tmp1_array: Int? = { // BLOCK
|
||||||
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
|
||||||
|
|||||||
@@ -26,7 +26,7 @@ interface IHost {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test1(x: String?): Int? {
|
fun test1(x: String?): Int? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -36,7 +36,7 @@ fun test1(x: String?): Int? {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2(x: String?): Int? {
|
fun test2(x: String?): Int? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -46,7 +46,7 @@ fun test2(x: String?): Int? {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test3(x: String?, y: Any?): Boolean? {
|
fun test3(x: String?, y: Any?): Boolean? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -56,7 +56,7 @@ fun test3(x: String?, y: Any?): Boolean? {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test4(x: Ref?) {
|
fun test4(x: Ref?) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
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 */
|
||||||
@@ -66,7 +66,7 @@ fun test4(x: Ref?) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun IHost.test5(s: String?): Int? {
|
fun IHost.test5(s: String?): Int? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
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
|
||||||
@@ -80,7 +80,7 @@ fun Int.foo(): Int {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun box() {
|
fun box() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
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
|
||||||
|
|||||||
@@ -1,6 +1,6 @@
|
|||||||
fun f(x: Any): String {
|
fun f(x: Any): String {
|
||||||
when {
|
when {
|
||||||
x is A<*> -> { //BLOCK
|
x is A<*> -> { // BLOCK
|
||||||
return x /*as A<T> */.call(block = local fun <anonymous>(y: Any?): @FlexibleNullability String? {
|
return x /*as A<T> */.call(block = local fun <anonymous>(y: Any?): @FlexibleNullability String? {
|
||||||
return "OK"
|
return "OK"
|
||||||
}
|
}
|
||||||
|
|||||||
+6
-6
@@ -1,6 +1,6 @@
|
|||||||
fun test1(a: Function0<Unit>) {
|
fun test1(a: Function0<Unit>) {
|
||||||
when {
|
when {
|
||||||
a is Runnable -> { //BLOCK
|
a is Runnable -> { // BLOCK
|
||||||
runStatic(r = a /*as Runnable */)
|
runStatic(r = a /*as Runnable */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -8,7 +8,7 @@ fun test1(a: Function0<Unit>) {
|
|||||||
|
|
||||||
fun test2(a: Function0<Unit>) {
|
fun test2(a: Function0<Unit>) {
|
||||||
when {
|
when {
|
||||||
a is Runnable -> { //BLOCK
|
a is Runnable -> { // BLOCK
|
||||||
TODO("IrConstructorCall").run1(r = a /*as Runnable */)
|
TODO("IrConstructorCall").run1(r = a /*as Runnable */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -16,7 +16,7 @@ fun test2(a: Function0<Unit>) {
|
|||||||
|
|
||||||
fun test3(a: Function0<Unit>) {
|
fun test3(a: Function0<Unit>) {
|
||||||
when {
|
when {
|
||||||
a is Runnable -> { //BLOCK
|
a is Runnable -> { // BLOCK
|
||||||
TODO("IrConstructorCall").run2(r1 = a /*as Runnable */, r2 = a /*as Runnable */)
|
TODO("IrConstructorCall").run2(r1 = a /*as Runnable */, r2 = a /*as Runnable */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -24,7 +24,7 @@ fun test3(a: Function0<Unit>) {
|
|||||||
|
|
||||||
fun test4(a: Function0<Unit>, b: Function0<Unit>) {
|
fun test4(a: Function0<Unit>, b: Function0<Unit>) {
|
||||||
when {
|
when {
|
||||||
a is Runnable -> { //BLOCK
|
a is Runnable -> { // BLOCK
|
||||||
TODO("IrConstructorCall").run2(r1 = a /*-> @FlexibleNullability Runnable? */, r2 = b /*-> @FlexibleNullability Runnable? */)
|
TODO("IrConstructorCall").run2(r1 = a /*-> @FlexibleNullability Runnable? */, r2 = b /*-> @FlexibleNullability Runnable? */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -32,7 +32,7 @@ fun test4(a: Function0<Unit>, b: Function0<Unit>) {
|
|||||||
|
|
||||||
fun test5(a: Any) {
|
fun test5(a: Any) {
|
||||||
when {
|
when {
|
||||||
a is Runnable -> { //BLOCK
|
a is Runnable -> { // BLOCK
|
||||||
TODO("IrConstructorCall").run1(r = a /*as Runnable */)
|
TODO("IrConstructorCall").run1(r = a /*as Runnable */)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -40,7 +40,7 @@ fun test5(a: Any) {
|
|||||||
|
|
||||||
fun test5x(a: Any) {
|
fun test5x(a: Any) {
|
||||||
when {
|
when {
|
||||||
a is Runnable -> { //BLOCK
|
a is Runnable -> { // BLOCK
|
||||||
a as Function0<Unit> /*~> Unit */
|
a as Function0<Unit> /*~> Unit */
|
||||||
TODO("IrConstructorCall").run1(r = a /*as Runnable */)
|
TODO("IrConstructorCall").run1(r = a /*as Runnable */)
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -7,7 +7,7 @@ class Derived : Base {
|
|||||||
|
|
||||||
fun setValue(v: Any) {
|
fun setValue(v: Any) {
|
||||||
when {
|
when {
|
||||||
v is String -> { //BLOCK
|
v is String -> { // BLOCK
|
||||||
#value = v /*as String */
|
#value = v /*as String */
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
+15
-15
@@ -21,7 +21,7 @@ fun produceFun(): Function0<Unit> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testSimple(fn: Function0<Unit>) {
|
fun testSimple(fn: Function0<Unit>) {
|
||||||
useSuspend(sfn = { //BLOCK
|
useSuspend(sfn = { // BLOCK
|
||||||
local suspend fun Function0<Unit>.suspendConversion0() {
|
local suspend fun Function0<Unit>.suspendConversion0() {
|
||||||
callee.invoke()
|
callee.invoke()
|
||||||
}
|
}
|
||||||
@@ -32,7 +32,7 @@ fun testSimple(fn: Function0<Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testSimpleNonVal() {
|
fun testSimpleNonVal() {
|
||||||
useSuspend(sfn = { //BLOCK
|
useSuspend(sfn = { // BLOCK
|
||||||
local suspend fun Function0<Unit>.suspendConversion0() {
|
local suspend fun Function0<Unit>.suspendConversion0() {
|
||||||
callee.invoke()
|
callee.invoke()
|
||||||
}
|
}
|
||||||
@@ -43,7 +43,7 @@ fun testSimpleNonVal() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testExtAsExt(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
fun testExtAsExt(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
||||||
useSuspendExt(sfn = { //BLOCK
|
useSuspendExt(sfn = { // BLOCK
|
||||||
local suspend fun @ExtensionFunctionType Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
local suspend fun @ExtensionFunctionType Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -54,7 +54,7 @@ fun testExtAsExt(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testExtAsSimple(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
fun testExtAsSimple(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
||||||
useSuspendArg(sfn = { //BLOCK
|
useSuspendArg(sfn = { // BLOCK
|
||||||
local suspend fun Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
local suspend fun Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -65,7 +65,7 @@ fun testExtAsSimple(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testSimpleAsExt(fn: Function1<Int, Unit>) {
|
fun testSimpleAsExt(fn: Function1<Int, Unit>) {
|
||||||
useSuspendExt(sfn = { //BLOCK
|
useSuspendExt(sfn = { // BLOCK
|
||||||
local suspend fun @ExtensionFunctionType Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
local suspend fun @ExtensionFunctionType Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -76,7 +76,7 @@ fun testSimpleAsExt(fn: Function1<Int, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testSimpleAsSimpleT(fn: Function1<Int, Unit>) {
|
fun testSimpleAsSimpleT(fn: Function1<Int, Unit>) {
|
||||||
useSuspendArgT<Int>(sfn = { //BLOCK
|
useSuspendArgT<Int>(sfn = { // BLOCK
|
||||||
local suspend fun Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
local suspend fun Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -87,7 +87,7 @@ fun testSimpleAsSimpleT(fn: Function1<Int, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testSimpleAsExtT(fn: Function1<Int, Unit>) {
|
fun testSimpleAsExtT(fn: Function1<Int, Unit>) {
|
||||||
useSuspendExtT<Int>(sfn = { //BLOCK
|
useSuspendExtT<Int>(sfn = { // BLOCK
|
||||||
local suspend fun @ExtensionFunctionType Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
local suspend fun @ExtensionFunctionType Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -98,7 +98,7 @@ fun testSimpleAsExtT(fn: Function1<Int, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testExtAsSimpleT(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
fun testExtAsSimpleT(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
||||||
useSuspendArgT<Int>(sfn = { //BLOCK
|
useSuspendArgT<Int>(sfn = { // BLOCK
|
||||||
local suspend fun Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
local suspend fun Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -109,7 +109,7 @@ fun testExtAsSimpleT(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testExtAsExtT(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
fun testExtAsExtT(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
||||||
useSuspendExtT<Int>(sfn = { //BLOCK
|
useSuspendExtT<Int>(sfn = { // BLOCK
|
||||||
local suspend fun @ExtensionFunctionType Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
local suspend fun @ExtensionFunctionType Function1<Int, Unit>.suspendConversion0(p0: Int) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -120,7 +120,7 @@ fun testExtAsExtT(fn: @ExtensionFunctionType Function1<Int, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun <S : Any?> testSimpleSAsSimpleT(fn: Function1<S, Unit>) {
|
fun <S : Any?> testSimpleSAsSimpleT(fn: Function1<S, Unit>) {
|
||||||
useSuspendArgT<S>(sfn = { //BLOCK
|
useSuspendArgT<S>(sfn = { // BLOCK
|
||||||
local suspend fun Function1<S, Unit>.suspendConversion0(p0: S) {
|
local suspend fun Function1<S, Unit>.suspendConversion0(p0: S) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -131,7 +131,7 @@ fun <S : Any?> testSimpleSAsSimpleT(fn: Function1<S, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun <S : Any?> testSimpleSAsExtT(fn: Function1<S, Unit>) {
|
fun <S : Any?> testSimpleSAsExtT(fn: Function1<S, Unit>) {
|
||||||
useSuspendExtT<S>(sfn = { //BLOCK
|
useSuspendExtT<S>(sfn = { // BLOCK
|
||||||
local suspend fun @ExtensionFunctionType Function1<S, Unit>.suspendConversion0(p0: S) {
|
local suspend fun @ExtensionFunctionType Function1<S, Unit>.suspendConversion0(p0: S) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -142,7 +142,7 @@ fun <S : Any?> testSimpleSAsExtT(fn: Function1<S, Unit>) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun <S : Any?> testExtSAsSimpleT(fn: @ExtensionFunctionType Function1<S, Unit>) {
|
fun <S : Any?> testExtSAsSimpleT(fn: @ExtensionFunctionType Function1<S, Unit>) {
|
||||||
useSuspendArgT<S>(sfn = { //BLOCK
|
useSuspendArgT<S>(sfn = { // BLOCK
|
||||||
local suspend fun Function1<S, Unit>.suspendConversion0(p0: S) {
|
local suspend fun Function1<S, Unit>.suspendConversion0(p0: S) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -153,7 +153,7 @@ fun <S : Any?> testExtSAsSimpleT(fn: @ExtensionFunctionType Function1<S, Unit>)
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun <S : Any?> testExtSAsExtT(fn: @ExtensionFunctionType Function1<S, Unit>) {
|
fun <S : Any?> testExtSAsExtT(fn: @ExtensionFunctionType Function1<S, Unit>) {
|
||||||
useSuspendExtT<S>(sfn = { //BLOCK
|
useSuspendExtT<S>(sfn = { // BLOCK
|
||||||
local suspend fun @ExtensionFunctionType Function1<S, Unit>.suspendConversion0(p0: S) {
|
local suspend fun @ExtensionFunctionType Function1<S, Unit>.suspendConversion0(p0: S) {
|
||||||
callee.invoke(p1 = p0)
|
callee.invoke(p1 = p0)
|
||||||
}
|
}
|
||||||
@@ -165,7 +165,7 @@ fun <S : Any?> testExtSAsExtT(fn: @ExtensionFunctionType Function1<S, Unit>) {
|
|||||||
|
|
||||||
fun testSmartCastWithSuspendConversion(a: Any) {
|
fun testSmartCastWithSuspendConversion(a: Any) {
|
||||||
a as Function0<Unit> /*~> Unit */
|
a as Function0<Unit> /*~> Unit */
|
||||||
useSuspend(sfn = { //BLOCK
|
useSuspend(sfn = { // BLOCK
|
||||||
local suspend fun Function0<Unit>.suspendConversion0() {
|
local suspend fun Function0<Unit>.suspendConversion0() {
|
||||||
callee.invoke()
|
callee.invoke()
|
||||||
}
|
}
|
||||||
@@ -178,7 +178,7 @@ fun testSmartCastWithSuspendConversion(a: Any) {
|
|||||||
fun testSmartCastOnVarWithSuspendConversion(a: Any) {
|
fun testSmartCastOnVarWithSuspendConversion(a: Any) {
|
||||||
var b: Any = a
|
var b: Any = a
|
||||||
b as Function0<Unit> /*~> Unit */
|
b as Function0<Unit> /*~> Unit */
|
||||||
useSuspend(sfn = { //BLOCK
|
useSuspend(sfn = { // BLOCK
|
||||||
local suspend fun Function0<Unit>.suspendConversion0() {
|
local suspend fun Function0<Unit>.suspendConversion0() {
|
||||||
callee.invoke()
|
callee.invoke()
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -9,7 +9,7 @@ class C {
|
|||||||
get
|
get
|
||||||
|
|
||||||
init {
|
init {
|
||||||
#s = { //BLOCK
|
#s = { // 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
|
||||||
|
|||||||
@@ -31,7 +31,7 @@ class Outer<T : Any?> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun Outer<Int>.test(): Inner<Int> {
|
fun Outer<Int>.test(): Inner<Int> {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
local class <no name provided> : Inner<Int> {
|
local class <no name provided> : Inner<Int> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
+2
-2
@@ -1,5 +1,5 @@
|
|||||||
fun WithCompanion.test() {
|
fun WithCompanion.test() {
|
||||||
val test1: <no name provided> = { //BLOCK
|
val test1: <no name provided> = { // BLOCK
|
||||||
local class <no name provided> : WithCompanion {
|
local class <no name provided> : WithCompanion {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
@@ -15,7 +15,7 @@ fun WithCompanion.test() {
|
|||||||
|
|
||||||
TODO("IrConstructorCall")
|
TODO("IrConstructorCall")
|
||||||
}
|
}
|
||||||
val test2: <no name provided> = { //BLOCK
|
val test2: <no name provided> = { // BLOCK
|
||||||
local class <no name provided> : WithCompanion {
|
local class <no name provided> : WithCompanion {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
+1
-1
@@ -4,7 +4,7 @@ fun test1() {
|
|||||||
|
|
||||||
fun testImplicitCast(a: Any) {
|
fun testImplicitCast(a: Any) {
|
||||||
when {
|
when {
|
||||||
a is Throwable -> { //BLOCK
|
a is Throwable -> { // BLOCK
|
||||||
throw a /*as Throwable */
|
throw a /*as Throwable */
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
+6
-6
@@ -1,25 +1,25 @@
|
|||||||
fun test1() {
|
fun test1() {
|
||||||
try { //BLOCK
|
try { // BLOCK
|
||||||
println()
|
println()
|
||||||
}
|
}
|
||||||
catch (...) { //BLOCK
|
catch (...) { // BLOCK
|
||||||
println()
|
println()
|
||||||
}
|
}
|
||||||
finally { //BLOCK
|
finally { // BLOCK
|
||||||
println()
|
println()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fun test2(): Int {
|
fun test2(): Int {
|
||||||
return try { //BLOCK
|
return try { // BLOCK
|
||||||
println()
|
println()
|
||||||
42
|
42
|
||||||
}
|
}
|
||||||
catch (...) { //BLOCK
|
catch (...) { // BLOCK
|
||||||
println()
|
println()
|
||||||
24
|
24
|
||||||
}
|
}
|
||||||
finally { //BLOCK
|
finally { // BLOCK
|
||||||
println()
|
println()
|
||||||
555 /*~> Unit */
|
555 /*~> Unit */
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -2,10 +2,10 @@ fun testImplicitCast(a: Any) {
|
|||||||
when {
|
when {
|
||||||
a !is String -> return Unit
|
a !is String -> return Unit
|
||||||
}
|
}
|
||||||
val t: String = try { //BLOCK
|
val t: String = try { // BLOCK
|
||||||
a
|
a
|
||||||
} /*as String */
|
} /*as String */
|
||||||
catch (...) { //BLOCK
|
catch (...) { // BLOCK
|
||||||
""
|
""
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -18,8 +18,8 @@ fun test3(): String {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test4(ns: String?): String? {
|
fun test4(ns: String?): String? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp1_safe_receiver: Function0<String>? = { //BLOCK
|
val tmp1_safe_receiver: Function0<String>? = { // BLOCK
|
||||||
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
|
||||||
|
|||||||
+2
-2
@@ -11,7 +11,7 @@ object A {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testWithSubject(x: Any?): String {
|
fun testWithSubject(x: Any?): String {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_subject: Any? = x
|
val tmp0_subject: Any? = x
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = null) -> "null"
|
EQEQ(arg0 = tmp0_subject, arg1 = null) -> "null"
|
||||||
@@ -36,7 +36,7 @@ fun test(x: Any?): String {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testComma(x: Int): String {
|
fun testComma(x: Int): String {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_subject: Int = x
|
val tmp0_subject: Int = x
|
||||||
when {
|
when {
|
||||||
when {
|
when {
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
fun foo(x: Int) {
|
fun foo(x: Int) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: Int = x
|
val tmp0_subject: Int = x
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = 0) -> 0 /*~> Unit */
|
EQEQ(arg0 = tmp0_subject, arg1 = 0) -> 0 /*~> Unit */
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
fun toString(grade: String): String {
|
fun toString(grade: String): String {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: String = grade
|
val tmp0_subject: String = grade
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = "A") -> return "Excellent"
|
EQEQ(arg0 = tmp0_subject, arg1 = "A") -> return "Excellent"
|
||||||
|
|||||||
@@ -3,7 +3,7 @@ fun run(block: Function0<Unit>) {
|
|||||||
|
|
||||||
fun branch(x: Int) {
|
fun branch(x: Int) {
|
||||||
return run(block = local fun <anonymous>() {
|
return run(block = local fun <anonymous>() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: Int = x
|
val tmp0_subject: Int = x
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = 1) -> TODO(reason = "1")
|
EQEQ(arg0 = tmp0_subject, arg1 = 1) -> TODO(reason = "1")
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
fun test(b: Boolean, i: Int) {
|
fun test(b: Boolean, i: Int) {
|
||||||
when {
|
when {
|
||||||
b -> { //BLOCK
|
b -> { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
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 */
|
||||||
|
|||||||
@@ -3,7 +3,7 @@ fun foo(): Any {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test(): Int {
|
fun test(): Int {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val y: Any = foo()
|
val y: Any = foo()
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = y, arg1 = 42) -> 1
|
EQEQ(arg0 = y, arg1 = 42) -> 1
|
||||||
|
|||||||
+11
-11
@@ -1,31 +1,31 @@
|
|||||||
fun test() {
|
fun test() {
|
||||||
var x: Int = 0
|
var x: Int = 0
|
||||||
while (less(arg0 = x, arg1 = 0))
|
while (less(arg0 = x, arg1 = 0))
|
||||||
while (less(arg0 = x, arg1 = 5)) { //BLOCK
|
while (less(arg0 = x, arg1 = 5)) { // BLOCK
|
||||||
val tmp0: Int = x
|
val tmp0: Int = x
|
||||||
x = tmp0.inc()
|
x = tmp0.inc()
|
||||||
tmp0
|
tmp0
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
while (less(arg0 = x, arg1 = 10)) { //BLOCK
|
while (less(arg0 = x, arg1 = 10)) { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1: Int = x
|
val tmp1: Int = x
|
||||||
x = tmp1.inc()
|
x = tmp1.inc()
|
||||||
tmp1
|
tmp1
|
||||||
} /*~> Unit */
|
} /*~> Unit */
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do while (less(arg0 = x, arg1 = 0))
|
do while (less(arg0 = x, arg1 = 0))
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do{ //BLOCK
|
do{ // BLOCK
|
||||||
val tmp2: Int = x
|
val tmp2: Int = x
|
||||||
x = tmp2.inc()
|
x = tmp2.inc()
|
||||||
tmp2
|
tmp2
|
||||||
} /*~> Unit */ while (less(arg0 = x, arg1 = 15))
|
} /*~> Unit */ while (less(arg0 = x, arg1 = 15))
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp3: Int = x
|
val tmp3: Int = x
|
||||||
x = tmp3.inc()
|
x = tmp3.inc()
|
||||||
tmp3
|
tmp3
|
||||||
@@ -37,10 +37,10 @@ fun test() {
|
|||||||
fun testSmartcastInCondition() {
|
fun testSmartcastInCondition() {
|
||||||
val a: Any? = null
|
val a: Any? = null
|
||||||
when {
|
when {
|
||||||
a is Boolean -> { //BLOCK
|
a is Boolean -> { // BLOCK
|
||||||
while (a /*as Boolean */) { //BLOCK
|
while (a /*as Boolean */) { // BLOCK
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
do// COMPOSITE {
|
do// COMPOSITE {
|
||||||
// } while (a /*as Boolean */)
|
// } while (a /*as Boolean */)
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -57,12 +57,12 @@ private val registrationMap: HashMap<Type, Any>
|
|||||||
private get
|
private get
|
||||||
|
|
||||||
fun resolveClashesIfAny(container: ComponentContainer, clashResolvers: List<PlatformExtensionsClashResolver<*>>) {
|
fun resolveClashesIfAny(container: ComponentContainer, clashResolvers: List<PlatformExtensionsClashResolver<*>>) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<PlatformExtensionsClashResolver<*>> = clashResolvers.iterator()
|
val tmp0_iterator: Iterator<PlatformExtensionsClashResolver<*>> = clashResolvers.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val resolver: PlatformExtensionsClashResolver<*> = tmp0_iterator.next()
|
val resolver: PlatformExtensionsClashResolver<*> = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val clashedComponents: Collection<ComponentDescriptor> = { //BLOCK
|
val clashedComponents: Collection<ComponentDescriptor> = { // BLOCK
|
||||||
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
|
||||||
|
|||||||
@@ -65,13 +65,13 @@ class DeepCopyIrTreeWithSymbols {
|
|||||||
}
|
}
|
||||||
))
|
))
|
||||||
withinScope<Unit>($receiver = <this>.<get-typeRemapper>(), irTypeParametersContainer = <this>, fn = local fun <anonymous>() {
|
withinScope<Unit>($receiver = <this>.<get-typeRemapper>(), irTypeParametersContainer = <this>, fn = local fun <anonymous>() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<Pair<IrTypeParameter, IrTypeParameter>> = zip<IrTypeParameter, IrTypeParameter>($receiver = <this>.<get-typeParameters>(), other = other.<get-typeParameters>()).iterator()
|
val tmp0_iterator: Iterator<Pair<IrTypeParameter, IrTypeParameter>> = zip<IrTypeParameter, IrTypeParameter>($receiver = <this>.<get-typeParameters>(), other = other.<get-typeParameters>()).iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val tmp1_loop_parameter: Pair<IrTypeParameter, IrTypeParameter> = tmp0_iterator.next()
|
val tmp1_loop_parameter: Pair<IrTypeParameter, IrTypeParameter> = tmp0_iterator.next()
|
||||||
val thisTypeParameter: IrTypeParameter = tmp1_loop_parameter.component1()
|
val thisTypeParameter: IrTypeParameter = tmp1_loop_parameter.component1()
|
||||||
val otherTypeParameter: IrTypeParameter = tmp1_loop_parameter.component2()
|
val otherTypeParameter: IrTypeParameter = tmp1_loop_parameter.component2()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
mapTo<IrType, IrType, MutableList<IrType>>($receiver = otherTypeParameter.<get-superTypes>(), destination = thisTypeParameter.<get-superTypes>(), transform = local fun <anonymous>(it: IrType): IrType {
|
mapTo<IrType, IrType, MutableList<IrType>>($receiver = otherTypeParameter.<get-superTypes>(), destination = thisTypeParameter.<get-superTypes>(), transform = local fun <anonymous>(it: IrType): IrType {
|
||||||
return <this>.<get-typeRemapper>().remapType(type = it)
|
return <this>.<get-typeRemapper>().remapType(type = it)
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -1,5 +1,5 @@
|
|||||||
fun box(): String {
|
fun box(): String {
|
||||||
val obj: <no name provided> = { //BLOCK
|
val obj: <no name provided> = { // BLOCK
|
||||||
local class <no name provided> {
|
local class <no name provided> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
@@ -12,7 +12,7 @@ class Some {
|
|||||||
|
|
||||||
init {
|
init {
|
||||||
when {
|
when {
|
||||||
less(arg0 = <this>.<get-foo>(), arg1 = 0) -> { //BLOCK
|
less(arg0 = <this>.<get-foo>(), arg1 = 0) -> { // BLOCK
|
||||||
<this>.<set-foo>(<set-?> = 0)
|
<this>.<set-foo>(<set-?> = 0)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -60,7 +60,7 @@ fun foo(candidate: Candidate) {
|
|||||||
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
|
true -> false
|
||||||
} -> { //BLOCK
|
} -> { // BLOCK
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -3,7 +3,7 @@ private const val BACKSLASH: Char
|
|||||||
private get
|
private get
|
||||||
|
|
||||||
private fun Reader.nextChar(): Char? {
|
private fun Reader.nextChar(): Char? {
|
||||||
return { //BLOCK
|
return { // BLOCK
|
||||||
val tmp0_safe_receiver: Int? = takeUnless<Int>($receiver = <this>.read(), predicate = local fun <anonymous>(it: Int): Boolean {
|
val tmp0_safe_receiver: Int? = takeUnless<Int>($receiver = <this>.read(), predicate = local fun <anonymous>(it: Int): Boolean {
|
||||||
return EQEQ(arg0 = it, arg1 = -1)
|
return EQEQ(arg0 = it, arg1 = -1)
|
||||||
}
|
}
|
||||||
@@ -20,9 +20,9 @@ fun Reader.consumeRestOfQuotedSequence(sb: StringBuilder, quote: Char) {
|
|||||||
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
|
true -> false
|
||||||
}) { //BLOCK
|
}) { // BLOCK
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = ch, arg1 = <get-BACKSLASH>()) -> { //BLOCK
|
EQEQ(arg0 = ch, arg1 = <get-BACKSLASH>()) -> { // BLOCK
|
||||||
val tmp0_safe_receiver: Char? = nextChar($receiver = <this>)
|
val tmp0_safe_receiver: Char? = nextChar($receiver = <this>)
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
|
||||||
|
|||||||
@@ -1,7 +1,7 @@
|
|||||||
fun outer() {
|
fun outer() {
|
||||||
var x: Int = 0
|
var x: Int = 0
|
||||||
local fun local() {
|
local fun local() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0: Int = x
|
val tmp0: Int = x
|
||||||
x = tmp0.inc()
|
x = tmp0.inc()
|
||||||
tmp0
|
tmp0
|
||||||
|
|||||||
@@ -2,12 +2,12 @@ fun box(): String {
|
|||||||
val a: DoubleArray = TODO("IrConstructorCall")
|
val a: DoubleArray = TODO("IrConstructorCall")
|
||||||
val x: DoubleIterator = a.iterator()
|
val x: DoubleIterator = a.iterator()
|
||||||
var i: Int = 0
|
var i: Int = 0
|
||||||
while (x.hasNext()) { //BLOCK
|
while (x.hasNext()) { // BLOCK
|
||||||
when {
|
when {
|
||||||
ieee754equals(arg0 = a.get(index = i), arg1 = x.next()).not() -> return "Fail " +
|
ieee754equals(arg0 = a.get(index = i), arg1 = x.next()).not() -> return "Fail " +
|
||||||
i
|
i
|
||||||
}
|
}
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0: Int = i
|
val tmp0: Int = i
|
||||||
i = tmp0.inc()
|
i = tmp0.inc()
|
||||||
tmp0
|
tmp0
|
||||||
|
|||||||
+7
-7
@@ -7,12 +7,12 @@ fun two(): Int {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test1(): Int {
|
fun test1(): Int {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: Int = one()
|
val tmp0_subject: Int = one()
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = 1) -> { //BLOCK
|
EQEQ(arg0 = tmp0_subject, arg1 = 1) -> { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp1_subject: Int = two()
|
val tmp1_subject: Int = two()
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp1_subject, arg1 = 2) -> return 2
|
EQEQ(arg0 = tmp1_subject, arg1 = 2) -> return 2
|
||||||
@@ -26,11 +26,11 @@ fun test1(): Int {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun test2(): Int {
|
fun test2(): Int {
|
||||||
while (true) { //BLOCK
|
while (true) { // BLOCK
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_subject: Int = one()
|
val tmp0_subject: Int = one()
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_subject, arg1 = 1) -> { //BLOCK
|
EQEQ(arg0 = tmp0_subject, arg1 = 1) -> { // BLOCK
|
||||||
val tmp1_subject: Int = two()
|
val tmp1_subject: Int = two()
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp1_subject, arg1 = 2) -> return 2
|
EQEQ(arg0 = tmp1_subject, arg1 = 2) -> return 2
|
||||||
|
|||||||
@@ -38,7 +38,7 @@ private fun CoroutineScope.asFairChannel(flow: Flow<*>): ReceiveChannel<Any> {
|
|||||||
return produce<Any>($receiver = <this>, block = local suspend fun ProducerScope<Any>.<anonymous>() {
|
return produce<Any>($receiver = <this>, block = local suspend fun ProducerScope<Any>.<anonymous>() {
|
||||||
val channel: ChannelCoroutine<Any> = <this>.<get-channel>() as ChannelCoroutine<Any>
|
val channel: ChannelCoroutine<Any> = <this>.<get-channel>() as ChannelCoroutine<Any>
|
||||||
collect<Any?>($receiver = flow, action = local suspend fun <anonymous>(value: Any?) {
|
collect<Any?>($receiver = flow, action = local suspend fun <anonymous>(value: Any?) {
|
||||||
return channel.sendFair(element = { //BLOCK
|
return channel.sendFair(element = { // BLOCK
|
||||||
val tmp0_elvis_lhs: Any? = value
|
val tmp0_elvis_lhs: Any? = value
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> TODO("IrConstructorCall")
|
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> TODO("IrConstructorCall")
|
||||||
@@ -54,7 +54,7 @@ private fun CoroutineScope.asFairChannel(flow: Flow<*>): ReceiveChannel<Any> {
|
|||||||
private fun CoroutineScope.asChannel(flow: Flow<*>): ReceiveChannel<Any> {
|
private fun CoroutineScope.asChannel(flow: Flow<*>): ReceiveChannel<Any> {
|
||||||
return produce<Any>($receiver = <this>, block = local suspend fun ProducerScope<Any>.<anonymous>() {
|
return produce<Any>($receiver = <this>, block = local suspend fun ProducerScope<Any>.<anonymous>() {
|
||||||
collect<Any?>($receiver = flow, action = local suspend fun <anonymous>(value: Any?) {
|
collect<Any?>($receiver = flow, action = local suspend fun <anonymous>(value: Any?) {
|
||||||
return <this>.<get-channel>().send(e = { //BLOCK
|
return <this>.<get-channel>().send(e = { // BLOCK
|
||||||
val tmp0_elvis_lhs: Any? = value
|
val tmp0_elvis_lhs: Any? = value
|
||||||
when {
|
when {
|
||||||
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> TODO("IrConstructorCall")
|
EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> TODO("IrConstructorCall")
|
||||||
|
|||||||
@@ -81,7 +81,7 @@ class P<P1 : Any?, P2 : Any?> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
val <T : Any?> Value<T, CR<T>>.additionalText: P<T, T> /* by */
|
val <T : Any?> Value<T, CR<T>>.additionalText: P<T, T> /* by */
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
local class <no name provided> : IDelegate1<Value<Any?, CR<Any?>>, P<Any?, Any?>> {
|
local class <no name provided> : IDelegate1<Value<Any?, CR<Any?>>, P<Any?, Any?>> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
@@ -98,7 +98,7 @@ val <T : Any?> Value<T, CR<T>>.additionalText: P<T, T> /* by */
|
|||||||
}
|
}
|
||||||
|
|
||||||
private val Value<Any?, CR<Any?>>.deepO: Any? /* by */
|
private val Value<Any?, CR<Any?>>.deepO: Any? /* by */
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
local class <no name provided> : IDelegate1<Value<Any?, CR<Any?>>, Any?> {
|
local class <no name provided> : IDelegate1<Value<Any?, CR<Any?>>, Any?> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
@@ -131,7 +131,7 @@ val <T : Any?> Value<T, CR<T>>.additionalText: P<T, T> /* by */
|
|||||||
}
|
}
|
||||||
|
|
||||||
private val Value<Any?, CR<Any?>>.deepK: Any? /* by */
|
private val Value<Any?, CR<Any?>>.deepK: Any? /* by */
|
||||||
field = { //BLOCK
|
field = { // BLOCK
|
||||||
local class <no name provided> : IDelegate1<Value<Any?, CR<Any?>>, Any?> {
|
local class <no name provided> : IDelegate1<Value<Any?, CR<Any?>>, Any?> {
|
||||||
constructor() /* primary */ {
|
constructor() /* primary */ {
|
||||||
TODO("IrDelegatingConstructorCall")
|
TODO("IrDelegatingConstructorCall")
|
||||||
|
|||||||
+16
-16
@@ -2,24 +2,24 @@ fun use(s: P) {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testForInListUnused() {
|
fun testForInListUnused() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: MutableIterator<@NotNull(...) @EnhancedNullability P> = listOfNotNull() /*!! List<@NotNull(...) @EnhancedNullability P> */ /*as MutableList<*> */.iterator()
|
val tmp0_iterator: MutableIterator<@NotNull(...) @EnhancedNullability P> = listOfNotNull() /*!! List<@NotNull(...) @EnhancedNullability P> */ /*as MutableList<*> */.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val x: @NotNull(...) @EnhancedNullability P = tmp0_iterator.next()
|
val x: @NotNull(...) @EnhancedNullability P = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fun testForInListDestructured() {
|
fun testForInListDestructured() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: MutableIterator<@NotNull(...) @EnhancedNullability P> = listOfNotNull() /*!! List<@NotNull(...) @EnhancedNullability P> */ /*as MutableList<*> */.iterator()
|
val tmp0_iterator: MutableIterator<@NotNull(...) @EnhancedNullability P> = listOfNotNull() /*!! List<@NotNull(...) @EnhancedNullability P> */ /*as MutableList<*> */.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val tmp1_loop_parameter: @NotNull(...) @EnhancedNullability P = tmp0_iterator.next()
|
val tmp1_loop_parameter: @NotNull(...) @EnhancedNullability P = tmp0_iterator.next()
|
||||||
val x: Int = tmp1_loop_parameter /*!! @NotNull(...) P */.component1()
|
val x: Int = tmp1_loop_parameter /*!! @NotNull(...) P */.component1()
|
||||||
val y: Int = tmp1_loop_parameter /*!! @NotNull(...) P */.component2()
|
val y: Int = tmp1_loop_parameter /*!! @NotNull(...) P */.component2()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -27,28 +27,28 @@ fun testForInListDestructured() {
|
|||||||
|
|
||||||
fun testDesugaredForInList() {
|
fun testDesugaredForInList() {
|
||||||
val iterator: MutableIterator<@NotNull(...) @EnhancedNullability P> = listOfNotNull() /*!! List<@NotNull(...) @EnhancedNullability P> */ /*as MutableList<*> */.iterator()
|
val iterator: MutableIterator<@NotNull(...) @EnhancedNullability P> = listOfNotNull() /*!! List<@NotNull(...) @EnhancedNullability P> */ /*as MutableList<*> */.iterator()
|
||||||
while (iterator.hasNext()) { //BLOCK
|
while (iterator.hasNext()) { // BLOCK
|
||||||
val x: @NotNull(...) P = iterator.next() /*!! @NotNull(...) P */
|
val x: @NotNull(...) P = iterator.next() /*!! @NotNull(...) P */
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fun testForInArrayUnused(j: J) {
|
fun testForInArrayUnused(j: J) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<@EnhancedNullability P> = j.arrayOfNotNull() /*!! Array<out @EnhancedNullability P> */ /*as Array<@EnhancedNullability P> */.iterator()
|
val tmp0_iterator: Iterator<@EnhancedNullability P> = j.arrayOfNotNull() /*!! Array<out @EnhancedNullability P> */ /*as Array<@EnhancedNullability P> */.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val x: @EnhancedNullability P = tmp0_iterator.next()
|
val x: @EnhancedNullability P = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fun testForInListUse() {
|
fun testForInListUse() {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: MutableIterator<@NotNull(...) @EnhancedNullability P> = listOfNotNull() /*!! List<@NotNull(...) @EnhancedNullability P> */ /*as MutableList<*> */.iterator()
|
val tmp0_iterator: MutableIterator<@NotNull(...) @EnhancedNullability P> = listOfNotNull() /*!! List<@NotNull(...) @EnhancedNullability P> */ /*as MutableList<*> */.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val x: @NotNull(...) @EnhancedNullability P = tmp0_iterator.next()
|
val x: @NotNull(...) @EnhancedNullability P = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
use(s = x /*!! @NotNull(...) P */)
|
use(s = x /*!! @NotNull(...) P */)
|
||||||
use(s = x)
|
use(s = x)
|
||||||
}
|
}
|
||||||
@@ -57,11 +57,11 @@ fun testForInListUse() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fun testForInArrayUse(j: J) {
|
fun testForInArrayUse(j: J) {
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
val tmp0_iterator: Iterator<@EnhancedNullability P> = j.arrayOfNotNull() /*!! Array<out @EnhancedNullability P> */ /*as Array<@EnhancedNullability P> */.iterator()
|
val tmp0_iterator: Iterator<@EnhancedNullability P> = j.arrayOfNotNull() /*!! Array<out @EnhancedNullability P> */ /*as Array<@EnhancedNullability P> */.iterator()
|
||||||
while (tmp0_iterator.hasNext()) { //BLOCK
|
while (tmp0_iterator.hasNext()) { // BLOCK
|
||||||
val x: @EnhancedNullability P = tmp0_iterator.next()
|
val x: @EnhancedNullability P = tmp0_iterator.next()
|
||||||
{ //BLOCK
|
{ // BLOCK
|
||||||
use(s = x /*!! P */)
|
use(s = x /*!! P */)
|
||||||
use(s = x)
|
use(s = x)
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user