[IR] update testdata: better support for IrConstructorCall

2020-11-06 01:22:57 +03:00
parent 197f5ca885
commit 2a19dc32f2
70 changed files with 172 additions and 136 deletions
@@ -39,7 +39,7 @@ class OC : I {
  }

  protected override fun clone(): OC {
-    return TODO("IrConstructorCall")
+    return OC()
  }


@@ -78,7 +78,7 @@ data class Test1 {
  }

  fun copy(stringArray: Array<String> = #stringArray, charArray: CharArray = #charArray, booleanArray: BooleanArray = #booleanArray, byteArray: ByteArray = #byteArray, shortArray: ShortArray = #shortArray, intArray: IntArray = #intArray, longArray: LongArray = #longArray, floatArray: FloatArray = #floatArray, doubleArray: DoubleArray = #doubleArray): Test1 {
-    return TODO("IrConstructorCall")
+    return Test1(stringArray = stringArray, charArray = charArray, booleanArray = booleanArray, byteArray = byteArray, shortArray = shortArray, intArray = intArray, longArray = longArray, floatArray = floatArray, doubleArray = doubleArray)
  }

  override fun toString(): String {
@@ -181,7 +181,7 @@ data class Test2<T : Any?> {
  }

  fun copy(genericArray: Array<T> = #genericArray): Test2<T> {
-    return TODO("IrConstructorCall")
+    return Test2<T>(genericArray = genericArray)
  }

  override fun toString(): String {
@@ -227,7 +227,7 @@ data class Test3 {
  }

  fun copy(anyArrayN: Array<Any>? = #anyArrayN): Test3 {
-    return TODO("IrConstructorCall")
+    return Test3(anyArrayN = anyArrayN)
  }

  override fun toString(): String {
@@ -30,7 +30,7 @@ data class Test1 {
  }

  fun copy(x: Int = #x, y: String = #y, z: Any = #z): Test1 {
-    return TODO("IrConstructorCall")
+    return Test1(x = x, y = y, z = z)
  }

  override fun toString(): String {
@@ -91,7 +91,7 @@ data class Test2 {
  }

  fun copy(x: Any? = #x): Test2 {
-    return TODO("IrConstructorCall")
+    return Test2(x = x)
  }

  override fun toString(): String {
@@ -164,7 +164,7 @@ data class Test3 {
  }

  fun copy(d: Double = #d, dn: Double? = #dn, f: Float = #f, df: Float? = #df): Test3 {
-    return TODO("IrConstructorCall")
+    return Test3(d = d, dn = dn, f = f, df = df)
  }

  override fun toString(): String {
@@ -14,7 +14,7 @@ data class Test1<T : Any?> {
  }

  fun copy(x: T = #x): Test1<T> {
-    return TODO("IrConstructorCall")
+    return Test1<T>(x = x)
  }

  override fun toString(): String {
@@ -63,7 +63,7 @@ data class Test2<T : Number> {
  }

  fun copy(x: T = #x): Test2<T> {
-    return TODO("IrConstructorCall")
+    return Test2<T>(x = x)
  }

  override fun toString(): String {
@@ -109,7 +109,7 @@ data class Test3<T : Any?> {
  }

  fun copy(x: List<T> = #x): Test3<T> {
-    return TODO("IrConstructorCall")
+    return Test3<T>(x = x)
  }

  override fun toString(): String {
@@ -155,7 +155,7 @@ data class Test4 {
  }

  fun copy(x: List<String> = #x): Test4 {
-    return TODO("IrConstructorCall")
+    return Test4(x = x)
  }

  override fun toString(): String {
@@ -85,7 +85,7 @@ fun otherImpl(x0: String, y0: Int): IOther {
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
 }

@@ -70,7 +70,7 @@ class TestJFoo : IFoo {

  }

-  private /*final field*/ val $$delegate_0: JFoo = TODO("IrConstructorCall")
+  private /*final field*/ val $$delegate_0: JFoo = JFoo()
  override fun foo(): String {
    return #$$delegate_0.foo() /*!! String */
  }
@@ -87,7 +87,7 @@ class TestK1 : IFoo {

  }

-  private /*final field*/ val $$delegate_0: K1 = TODO("IrConstructorCall")
+  private /*final field*/ val $$delegate_0: K1 = K1()
  override fun foo(): String {
    return #$$delegate_0.foo() /*!! String */
  }
@@ -104,7 +104,7 @@ class TestK2 : IFoo {

  }

-  private /*final field*/ val $$delegate_0: K2 = TODO("IrConstructorCall")
+  private /*final field*/ val $$delegate_0: K2 = K2()
  override fun foo(): String {
    return #$$delegate_0.foo()
  }
@@ -121,7 +121,7 @@ class TestK3 : IFoo {

  }

-  private /*final field*/ val $$delegate_0: K3 = TODO("IrConstructorCall")
+  private /*final field*/ val $$delegate_0: K3 = K3()
  override fun foo(): String {
    return #$$delegate_0.foo()
  }
@@ -138,7 +138,7 @@ class TestK4 : IFoo {

  }

-  private /*final field*/ val $$delegate_0: K4 = TODO("IrConstructorCall")
+  private /*final field*/ val $$delegate_0: K4 = K4()
  override fun foo(): String {
    return #$$delegate_0.foo() /*!! String */
  }
@@ -57,7 +57,7 @@ inline class IC<TT : Any?> {
 }

 fun box(): String {
-  val ic: IC<Int> = TODO("IrConstructorCall")
+  val ic: IC<Int> = IC<Int>(c = C<Int>(t = 42))
  when {
    EQEQ(arg0 = ic.foo(), arg1 = 42).not() -> return "FAIL"
  }
@@ -14,7 +14,7 @@ data class TestData {
  }

  fun copy(nn: Nothing? = #nn): TestData {
-    return TODO("IrConstructorCall")
+    return TestData(nn = nn)
  }

  override fun toString(): String {
@@ -17,7 +17,7 @@ data class A {
  }

  fun copy(runA: @ExtensionFunctionType Function2<A, String, Unit> = #runA): A {
-    return TODO("IrConstructorCall")
+    return A(runA = runA)
  }

  override fun toString(): String {
@@ -62,7 +62,7 @@ data class B {
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }) /* primary */ {
    TODO("IrDelegatingConstructorCall")
        /* InstanceInitializerCall */
@@ -78,7 +78,7 @@ data class B {
  }

  fun copy(x: Any = #x): B {
-    return TODO("IrConstructorCall")
+    return B(x = x)
  }

  override fun toString(): String {
@@ -15,6 +15,6 @@ fun outer() {
  }


-  TODO("IrConstructorCall").foo()
+  LocalClass().foo()
 }

@@ -20,7 +20,7 @@ val test1: Any
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
  get

@@ -43,7 +43,7 @@ val test2: IFoo
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
  get

@@ -86,7 +86,7 @@ class Outer {
      }


-      TODO("IrConstructorCall")
+      <no name provided>()
    }
  }

@@ -114,7 +114,7 @@ fun Outer.test4(): Inner {
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
 }

@@ -35,14 +35,14 @@ class Cell {
 }

 val test1: Int /* by */ 
-  field = TODO("IrConstructorCall")
+  field = Cell(value = 1)
  @A(...)
  get(): Int {
    return #test1$delegate.getValue(thisRef = null, kProp = ::test1)
  }

 var test2: Int /* by */ 
-  field = TODO("IrConstructorCall")
+  field = Cell(value = 2)
  @A(...)
  get(): Int {
    return #test2$delegate.getValue(thisRef = null, kProp = ::test2)
@@ -22,7 +22,7 @@ data class Test<T : Any?> {
  }

  fun copy(x: T = #x, y: String = #y): Test<T> {
-    return TODO("IrConstructorCall")
+    return Test<T>(x = x, y = y)
  }

  override fun toString(): String {
@@ -23,7 +23,7 @@ operator fun String.getValue(receiver: Any?, p: Any): String {
 }

 val testO: String /* by */ 
-  field = TODO("IrConstructorCall").provideDelegate(host = null, p = ::testO)
+  field = MyClass(value = "O").provideDelegate(host = null, p = ::testO)
  get(): String {
    return #testO$delegate.getValue(receiver = null, p = ::testO)
  }
@@ -30,7 +30,7 @@ class DelegateProvider {
    get

  operator fun provideDelegate(thisRef: Any?, property: Any?): Delegate {
-    return TODO("IrConstructorCall")
+    return Delegate(value = <this>.<get-value>())
  }


@@ -40,7 +40,7 @@ class DelegateProvider {

 fun foo() {
  val testMember: String
-    val testMember$delegate: Delegate = TODO("IrConstructorCall").provideDelegate(thisRef = null, property = ::testMember)
+    val testMember$delegate: Delegate = DelegateProvider(value = "OK").provideDelegate(thisRef = null, property = ::testMember)
    local get(): String {
      return testMember$delegate.getValue(thisRef = null, property = ::testMember)
    }
@@ -24,7 +24,7 @@ operator fun String.getValue(receiver: Any?, p: Any): String {

 fun box(): String {
  val testO: String
-    val testO$delegate: String = TODO("IrConstructorCall").provideDelegate(host = null, p = ::testO)
+    val testO$delegate: String = MyClass(value = "O").provideDelegate(host = null, p = ::testO)
    local get(): String {
      return testO$delegate.getValue(receiver = null, p = ::testO)
    }
@@ -30,7 +30,7 @@ class DelegateProvider {
    get

  operator fun provideDelegate(thisRef: Any?, property: Any?): Delegate {
-    return TODO("IrConstructorCall")
+    return Delegate(value = <this>.<get-value>())
  }


@@ -46,7 +46,7 @@ class Host {
  }

  val testMember: String /* by */ 
-    field = TODO("IrConstructorCall").provideDelegate(thisRef = <this>, property = ::testMember)
+    field = DelegateProvider(value = "OK").provideDelegate(thisRef = <this>, property = ::testMember)
    get(): String {
      return #testMember$delegate.getValue(thisRef = <this>, property = ::testMember)
    }
@@ -26,7 +26,7 @@ object Host {
  }

  operator fun String.provideDelegate(host: Any?, p: Any): StringDelegate {
-    return TODO("IrConstructorCall")
+    return StringDelegate(s = <this>)
  }

  val String.plusK: String /* by */ 
@@ -30,7 +30,7 @@ class DelegateProvider {
    get

  operator fun provideDelegate(thisRef: Any?, property: Any?): Delegate {
-    return TODO("IrConstructorCall")
+    return Delegate(value = <this>.<get-value>())
  }


@@ -39,7 +39,7 @@ class DelegateProvider {
 }

 val testTopLevel: String /* by */ 
-  field = TODO("IrConstructorCall").provideDelegate(thisRef = null, property = ::testTopLevel)
+  field = DelegateProvider(value = "OK").provideDelegate(thisRef = null, property = ::testTopLevel)
  get(): String {
    return #testTopLevel$delegate.getValue(thisRef = null, property = ::testTopLevel)
  }
@@ -26,11 +26,11 @@ operator fun A.remAssign(s: String) {
 }

 val p: A
-  field = TODO("IrConstructorCall")
+  field = A()
  get

 fun testVariable() {
-  val a: A = TODO("IrConstructorCall")
+  val a: A = A()
  a.plusAssign(s = "+=")
  a.minusAssign(s = "-=")
  a.timesAssign(s = "*=")
@@ -18,7 +18,7 @@ class Host {
 }

 fun foo(): Host {
-  return TODO("IrConstructorCall")
+  return Host()
 }

 fun Host.test2() {
@@ -1,5 +1,8 @@
 fun testBreakFor() {
-  val xs: IntArray = TODO("IrConstructorCall")
+  val xs: IntArray = IntArray(size = 10, init =   local fun <anonymous>(i: Int): Int {
+    return i
+  }
+)
  var k: Int = 0
  { // BLOCK
    val tmp0_iterator: IntIterator = xs.iterator()
@@ -35,7 +38,10 @@ fun testBreakDoWhile() {
 }

 fun testContinueFor() {
-  val xs: IntArray = TODO("IrConstructorCall")
+  val xs: IntArray = IntArray(size = 10, init =   local fun <anonymous>(i: Int): Int {
+    return i
+  }
+)
  var k: Int = 0
  { // BLOCK
    val tmp0_iterator: IntIterator = xs.iterator()
@@ -76,7 +82,7 @@ fun testContinueDoWhile() {
    // }    while (less(arg0 = k, arg1 = 10))
  }
  when {
-    EQEQ(arg0 = s, arg1 = "1;2;").not() -> throw TODO("IrConstructorCall")
+    EQEQ(arg0 = s, arg1 = "1;2;").not() -> throw AssertionError(p0 = s)
  }
 }

@@ -37,7 +37,7 @@ inline fun <A : Any?, B : Any?> foo(a: A, b: B, x: Function2<A, B, Inner<B, A>>)
 }

 fun box(): String {
-  val z: Foo<String> = TODO("IrConstructorCall")
+  val z: Foo<String> = Foo<String>()
  val foo: Inner<String, String> = foo<String, String>(a = "O", b = "K", x = ::<init>)
  return foo.<get-a>().plus(other = foo.<get-b>())
 }
@@ -40,7 +40,7 @@ class Outer {

 fun testConstructor(): Any {
  return use(fn =   local fun <init>(p0: Int): C {
-    return TODO("IrConstructorCall")
+    return C(xs = [p0])
  }
 )
 }
@@ -48,7 +48,7 @@ fun testConstructor(): Any {
 fun testInnerClassConstructor(outer: Outer): Any {
  return use(fn = { // BLOCK
    local fun Outer.<init>(p0: Int): Inner {
-      return TODO("IrConstructorCall")
+      return receiver.Inner(xs = [p0])
    }


@@ -59,7 +59,7 @@ fun testInnerClassConstructor(outer: Outer): Any {
 fun testInnerClassConstructorCapturingOuter(): Any {
  return use(fn = { // BLOCK
    local fun Outer.<init>(p0: Int): Inner {
-      return TODO("IrConstructorCall")
+      return receiver.Inner(xs = [p0])
    }


@@ -31,7 +31,7 @@ fun testFn(): Any {

 fun testCtor(): Any {
  return use(fn =   local fun <init>(): C {
-    return TODO("IrConstructorCall")
+    return C()
  }
 )
 }
@@ -25,7 +25,7 @@ class Host {
  }

  fun testBoundReceiverLocalVal() {
-    val h: Host = TODO("IrConstructorCall")
+    val h: Host = Host()
    use(fn = { // BLOCK
      local fun Host.withVararg(p0: Int) {
        receiver.withVararg(xs = [p0]) /*~> Unit */
@@ -37,7 +37,7 @@ class Host {
  }

  fun testBoundReceiverLocalVar() {
-    var h: Host = TODO("IrConstructorCall")
+    var h: Host = Host()
    use(fn = { // BLOCK
      local fun Host.withVararg(p0: Int) {
        receiver.withVararg(xs = [p0]) /*~> Unit */
@@ -11,7 +11,10 @@ fun sum(vararg args: Int): Int {
 }

 fun nsum(vararg args: Number): Int {
-  return sum(args = [*TODO("IrConstructorCall")])
+  return sum(args = [*IntArray(size = args.<get-size>(), init =   local fun <anonymous>(it: Int): Int {
+    return args.get(index = it).toInt()
+  }
+)])
 }

 fun zap(vararg b: String, k: Int = 42) {
@@ -12,8 +12,8 @@ class A {

 fun test() {
  A::class /*~> Unit */
-  TODO("IrConstructorCall")::class /*~> Unit */
+  A()::class /*~> Unit */
  A::class.<get-java><A>() /*~> Unit */
-  TODO("IrConstructorCall")::class.<get-java><A>() /*~> Unit */
+  A()::class.<get-java><A>() /*~> Unit */
 }

@@ -128,6 +128,6 @@ object Host {
 }

 fun Host.test3(v: B) {
-  (<this>, v).plusAssign(b = TODO("IrConstructorCall"))
+  (<this>, v).plusAssign(b = B(s = 1000))
 }

@@ -1,9 +1,9 @@
 fun testKotlin(): K2<String, Int> {
-  return TODO("IrConstructorCall")
+  return K1<Int>().K2<String>()
 }

 fun testJava(): J2<Double, Int> {
-  return TODO("IrConstructorCall")
+  return J1<@FlexibleNullability Int?, @FlexibleNullability String?>().J2<@FlexibleNullability Double?, @FlexibleNullability CharSequence?>()
 }

 class K1<T1 : Number> {
@@ -11,6 +11,6 @@ class A {
 }

 val test: A
-  field = TODO("IrConstructorCall")
+  field = A()
  get

@@ -29,7 +29,7 @@ class IntCell {

 interface IReceiver {
  operator fun FiveTimes.iterator(): IntCell {
-    return TODO("IrConstructorCall")
+    return IntCell(value = 5)
  }

  operator fun IntCell.hasNext(): Boolean {
@@ -40,7 +40,7 @@ val fsi: Fn<String, Int>
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
  get

@@ -63,7 +63,7 @@ val fis: Fn<Int, String>
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
  get

@@ -1,9 +1,12 @@
 fun testSimple(): Box<Long> {
-  return TODO("IrConstructorCall")
+  return Box<Long>(value = 2L.times(other = 3))
 }

 inline fun <reified T : Any?> testArray(n: Int, crossinline block: Function0<T>): Array<T> {
-  return TODO("IrConstructorCall")
+  return Array<T>(size = n, init =   local fun <anonymous>(it: Int): T {
+    return block.invoke()
+  }
+)
 }

 class Box<T : Any?> {
@@ -21,13 +21,13 @@ class Value<T : Any?> {
 }

 val <T : Any?> Value<T>.additionalText: Int /* by */ 
-  field = TODO("IrConstructorCall")
+  field = DVal(kmember = ::text)
  get(): Int {
    return #additionalText$delegate.getValue(t = <this>, p = ::additionalText)
  }

 val <T : Any?> Value<T>.additionalValue: Int /* by */ 
-  field = TODO("IrConstructorCall")
+  field = DVal(kmember = ::value)
  get(): Int {
    return #additionalValue$delegate.getValue(t = <this>, p = ::additionalValue)
  }
@@ -65,16 +65,16 @@ class DerivedThroughMid2 : Mid, IFoo {
 }

 fun test(b: Boolean) {
-  val d1: Derived1 = TODO("IrConstructorCall")
-  val d2: Derived2 = TODO("IrConstructorCall")
+  val d1: Derived1 = Derived1()
+  val d2: Derived2 = Derived2()
  val k: Any = when {
    b -> d1
    true -> d2
  }
  #f = 42
  #f /*~> Unit */
-  val md1: DerivedThroughMid1 = TODO("IrConstructorCall")
-  val md2: DerivedThroughMid2 = TODO("IrConstructorCall")
+  val md1: DerivedThroughMid1 = DerivedThroughMid1()
+  val md2: DerivedThroughMid2 = DerivedThroughMid2()
  val mk: Any = when {
    b -> md1
    true -> md2
@@ -6,7 +6,7 @@ abstract class A {
  }

  val x: B
-    field = TODO("IrConstructorCall")
+    field = B()
    get

  var y: Int
@@ -48,6 +48,6 @@ class Outer {

 typealias OI = Inner
 fun test(): Inner {
-  return TODO("IrConstructorCall")
+  return Outer().Inner()
 }

@@ -1,5 +1,5 @@
 fun <T : Any?> magic(): T {
-  throw TODO("IrConstructorCall")
+  throw Exception()
 }

 fun <T : Any?> test(value: T, value2: T) {
@@ -22,7 +22,7 @@ class A<T : Any?> {
 }

 val aFloat: A<Float>
-  field = TODO("IrConstructorCall")
+  field = A<Float>(value = 0.0F)
  get

 val aInt: Float
@@ -10,7 +10,7 @@ class GenericClass<T : Any?> {
    get

  fun withNewValue(newValue: T): GenericClass<T> {
-    return TODO("IrConstructorCall")
+    return GenericClass<T>(value = newValue)
  }


@@ -56,7 +56,7 @@ class Host {
      }


-      TODO("IrConstructorCall")
+      <no name provided>()
    }
  }

@@ -85,7 +85,7 @@ object Z {
      }


-      TODO("IrConstructorCall")
+      <no name provided>()
    }
    get

@@ -13,12 +13,36 @@ fun test(fn: Function0<Unit>, r: Runnable, arr: Array<String>) {
  foo1(r = fn /*-> @FlexibleNullability Runnable? */, strs = arr) /*~> Unit */
  foo1(r = fn /*-> @FlexibleNullability Runnable? */, strs = [*arr]) /*~> Unit */
  foo1(r = r, strs = [*arr]) /*~> Unit */
-  val i1: Test = TODO("IrConstructorCall")
-  val i2: Test = TODO("IrConstructorCall")
-  val i3: Test = TODO("IrConstructorCall")
-  val i4: Test = TODO("IrConstructorCall")
-  val i5: Test = TODO("IrConstructorCall")
-  val i6: Test = TODO("IrConstructorCall")
+  val i1: Test = Test(r =   local fun <anonymous>() {
+    return Unit
+  }
+ /*-> @FlexibleNullability Runnable? */, strs = arr)
+  val i2: Test = Test(r =   local fun <anonymous>() {
+    return Unit
+  }
+ /*-> @FlexibleNullability Runnable? */, strs = [*arr])
+  val i3: Test = Test(r1 =   local fun <anonymous>() {
+    return Unit
+  }
+ /*-> @FlexibleNullability Runnable? */, r2 =   local fun <anonymous>() {
+    return Unit
+  }
+ /*-> @FlexibleNullability Runnable? */, strs = arr)
+  val i4: Test = Test(r1 = r, r2 =   local fun <anonymous>() {
+    return Unit
+  }
+ /*-> @FlexibleNullability Runnable? */, strs = [""])
+  val i5: Test = Test(r1 =   local fun <anonymous>() {
+    return Unit
+  }
+ /*-> @FlexibleNullability Runnable? */, r2 =   local fun <anonymous>() {
+    return Unit
+  }
+ /*-> @FlexibleNullability Runnable? */, strs = [*arr])
+  val i6: Test = Test(r1 = r, r2 =   local fun <anonymous>() {
+    return Unit
+  }
+ /*-> @FlexibleNullability Runnable? */, strs = [*arr])
  i1.foo2(r1 =   local fun <anonymous>() {
    return Unit
  }
@@ -1,9 +1,9 @@
 fun test1(f: Function1<String, String>): C<@FlexibleNullability String?> {
-  return TODO("IrConstructorCall")
+  return C<@FlexibleNullability String?>(jxx = f /*-> @FlexibleNullability J<@FlexibleNullability String?, @FlexibleNullability String?>? */)
 }

 fun test2(x: Any) {
  x as Function1<String, String> /*~> Unit */
-  TODO("IrConstructorCall") /*~> Unit */
+  C<@FlexibleNullability String?>(jxx = x /*as Function1<@ParameterName(...) @FlexibleNullability String?, @FlexibleNullability String?> */ /*-> @FlexibleNullability J<@FlexibleNullability String?, @FlexibleNullability String?>? */) /*~> Unit */
 }

@@ -1,5 +1,5 @@
 fun test3(f1: Function1<String, String>, f2: Function1<Int, String>): D<@FlexibleNullability Int?, @FlexibleNullability String?> {
-  return TODO("IrConstructorCall")
+  return C<@FlexibleNullability String?>(jxx = f1 /*-> @FlexibleNullability J<@FlexibleNullability String?, @FlexibleNullability String?>? */).D<@FlexibleNullability Int?>(jxy = f2 /*-> @FlexibleNullability J<@FlexibleNullability String?, @FlexibleNullability Int?>? */)
 }

 class Outer<T1 : Any?> {
@@ -35,15 +35,15 @@ class Outer<T1 : Any?> {
 }

 fun test4(f: Function1<String, String>, g: Function1<Any, String>): Inner<@FlexibleNullability Any?, @FlexibleNullability String?> {
-  return TODO("IrConstructorCall")
+  return Outer<@FlexibleNullability String?>(j11 = f /*-> J<@FlexibleNullability String?, @FlexibleNullability String?> */).Inner<@FlexibleNullability Any?>(j12 = g /*-> J<@FlexibleNullability String?, @FlexibleNullability Any?> */)
 }

 fun testGenericJavaCtor1(f: Function1<String, Int>): G<@FlexibleNullability String?> {
-  return TODO("IrConstructorCall")
+  return G<@FlexibleNullability String?, @FlexibleNullability Int?>(x = f /*-> @FlexibleNullability J<@FlexibleNullability Int?, @FlexibleNullability String?>? */)
 }

 fun testGenericJavaCtor2(x: Any) {
  x as Function1<String, Int> /*~> Unit */
-  TODO("IrConstructorCall") /*~> Unit */
+  G<@FlexibleNullability String?, @FlexibleNullability Int?>(x = x /*as Function1<@ParameterName(...) @FlexibleNullability String?, @FlexibleNullability Int?> */ /*-> @FlexibleNullability J<@FlexibleNullability Int?, @FlexibleNullability String?>? */) /*~> Unit */
 }

@@ -9,7 +9,7 @@ fun test1(a: Function0<Unit>) {
 fun test2(a: Function0<Unit>) {
  when {
    a is Runnable -> { // BLOCK
-      TODO("IrConstructorCall").run1(r = a /*as Runnable */)
+      J().run1(r = a /*as Runnable */)
    }
  }
 }
@@ -17,7 +17,7 @@ fun test2(a: Function0<Unit>) {
 fun test3(a: Function0<Unit>) {
  when {
    a is Runnable -> { // BLOCK
-      TODO("IrConstructorCall").run2(r1 = a /*as Runnable */, r2 = a /*as Runnable */)
+      J().run2(r1 = a /*as Runnable */, r2 = a /*as Runnable */)
    }
  }
 }
@@ -25,7 +25,7 @@ fun test3(a: Function0<Unit>) {
 fun test4(a: Function0<Unit>, b: Function0<Unit>) {
  when {
    a is Runnable -> { // BLOCK
-      TODO("IrConstructorCall").run2(r1 = a /*-> @FlexibleNullability Runnable? */, r2 = b /*-> @FlexibleNullability Runnable? */)
+      J().run2(r1 = a /*-> @FlexibleNullability Runnable? */, r2 = b /*-> @FlexibleNullability Runnable? */)
    }
  }
 }
@@ -33,7 +33,7 @@ fun test4(a: Function0<Unit>, b: Function0<Unit>) {
 fun test5(a: Any) {
  when {
    a is Runnable -> { // BLOCK
-      TODO("IrConstructorCall").run1(r = a /*as Runnable */)
+      J().run1(r = a /*as Runnable */)
    }
  }
 }
@@ -42,26 +42,26 @@ fun test5x(a: Any) {
  when {
    a is Runnable -> { // BLOCK
      a as Function0<Unit> /*~> Unit */
-      TODO("IrConstructorCall").run1(r = a /*as Runnable */)
+      J().run1(r = a /*as Runnable */)
    }
  }
 }

 fun test6(a: Any) {
  a as Function0<Unit> /*~> Unit */
-  TODO("IrConstructorCall").run1(r = a /*as Function0<Unit> */ /*-> @FlexibleNullability Runnable? */)
+  J().run1(r = a /*as Function0<Unit> */ /*-> @FlexibleNullability Runnable? */)
 }

 fun test7(a: Function1<Int, Int>) {
  a as Function0<Unit> /*~> Unit */
-  TODO("IrConstructorCall").run1(r = a /*as Function0<Unit> */ /*-> @FlexibleNullability Runnable? */)
+  J().run1(r = a /*as Function0<Unit> */ /*-> @FlexibleNullability Runnable? */)
 }

 fun test8(a: Function0<Unit>) {
-  TODO("IrConstructorCall").run1(r = id<@FlexibleNullability Function0<Unit>?>(x = a) /*!! Function0<Unit> */ /*-> @FlexibleNullability Runnable? */)
+  J().run1(r = id<@FlexibleNullability Function0<Unit>?>(x = a) /*!! Function0<Unit> */ /*-> @FlexibleNullability Runnable? */)
 }

 fun test9() {
-  TODO("IrConstructorCall").run1(r = ::test9 /*-> @FlexibleNullability Runnable? */)
+  J().run1(r = ::test9 /*-> @FlexibleNullability Runnable? */)
 }

@@ -16,6 +16,6 @@ class Cell<T : Any?> {

 typealias IntAlias = Cell<Int>
 fun test(): Cell<Int> {
-  return TODO("IrConstructorCall")
+  return Cell<Int>(value = 42)
 }

@@ -49,7 +49,7 @@ fun Outer<Int>.test(): Inner<Int> {
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
 }

@@ -13,7 +13,7 @@ fun WithCompanion.test() {
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
  val test2: <no name provided> = { // BLOCK
    local class <no name provided> : WithCompanion {
@@ -29,7 +29,7 @@ fun WithCompanion.test() {
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
 }

@@ -1,5 +1,5 @@
 fun test1() {
-  throw TODO("IrConstructorCall")
+  throw Throwable()
 }

 fun testImplicitCast(a: Any) {
@@ -69,7 +69,7 @@ fun resolveClashesIfAny(container: ComponentContainer, clashResolvers: List<Plat
            true -> tmp1_elvis_lhs
          }
        }
-        val substituteDescriptor: ClashResolutionDescriptor<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>> = TODO("IrConstructorCall")
+        val substituteDescriptor: ClashResolutionDescriptor<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>> = ClashResolutionDescriptor<PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out PlatformSpecificExtension<out Any?>>>>>>(container = container, resolver = resolver, clashedComponents = clashedComponents.toList<ComponentDescriptor>())
      }
    }
  }
@@ -12,7 +12,7 @@ fun box(): String {
        get

      fun foo(): String {
-        return TODO("IrConstructorCall").bar()
+        return <this>.Some(s = "O").bar()
      }

      local inner class Some : Base {
@@ -53,7 +53,7 @@ fun box(): String {
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
  return obj.foo()
 }
@@ -14,7 +14,7 @@ data class Some<T : Any?> {
  }

  fun copy(value: T = #value): Some<T> {
-    return TODO("IrConstructorCall")
+    return Some<T>(value = value)
  }

  override fun toString(): String {
@@ -59,7 +59,7 @@ data class DataClass : Derived, Delegate {
  }

  fun copy(delegate: Delegate = #delegate): DataClass {
-    return TODO("IrConstructorCall")
+    return DataClass(delegate = delegate)
  }

  override fun toString(): String {
@@ -11,7 +11,7 @@ class V8Array {
 }

 fun box(): String {
-  val array: V8Array = TODO("IrConstructorCall")
+  val array: V8Array = V8Array()
  val list: List<String> = toList(array = array) as List<String>
  return list.get(index = 0)
 }
@@ -22,7 +22,7 @@ data class A {
  }

  fun copy(x: Int = #x, y: Int = #y): A {
-    return TODO("IrConstructorCall")
+    return A(x = x, y = y)
  }

  override fun toString(): String {
@@ -1,5 +1,5 @@
 fun box(): String {
-  val a: DoubleArray = TODO("IrConstructorCall")
+  val a: DoubleArray = DoubleArray(size = 5)
  val x: DoubleIterator = a.iterator()
  var i: Int = 0
  while (x.hasNext()) { // BLOCK
@@ -17,7 +17,7 @@ class A<Q : Any?> {
 typealias B<X : Any?> = A<X>
 typealias B2<T : Any?> = A<A<T>>
 fun bar() {
-  val b: A<Int> = TODO("IrConstructorCall")
-  val b2: A<A<Int>> = TODO("IrConstructorCall")
+  val b: A<Int> = A<Int>(q = 2)
+  val b2: A<A<Int>> = A<A<Int>>(q = b)
 }

@@ -1,7 +1,7 @@
 fun <K1 : Any?, V1 : Any?> Map<out K1, V1>.plus(pair: Pair<K1, V1>): Map<K1, V1> {
  return when {
    <this>.isEmpty() -> mapOf<K1, V1>(pair = pair)
-    true -> TODO("IrConstructorCall").apply<LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>>(block =     local fun LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>.<anonymous>() {
+    true -> LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>(p0 = <this>).apply<LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>>(block =     local fun LinkedHashMap<@FlexibleNullability K1?, @FlexibleNullability V1?>.<anonymous>() {
      <this>.put(key = pair.<get-first>(), value = pair.<get-second>()) /*~> Unit */
    }
 )
@@ -1,16 +1,16 @@
 fun test1(): J1<Int> {
-  return TODO("IrConstructorCall")
+  return J1<@FlexibleNullability Int?>()
 }

 fun test2(): J1<Int> {
-  return TODO("IrConstructorCall")
+  return J1<@FlexibleNullability Int?, @FlexibleNullability Int?>(x1 = 1)
 }

 fun test3(j1: J1<Any>): J2<Int, Any> {
-  return TODO("IrConstructorCall")
+  return j1.J2<@FlexibleNullability Int?>()
 }

 fun test4(j1: J1<Any>): J2<Int, Any> {
-  return TODO("IrConstructorCall")
+  return j1.J2<@FlexibleNullability Int?, @FlexibleNullability Int?>(x2 = 1)
 }

@@ -6,7 +6,7 @@ class Test1 : J {
  }

  val test: JInner
-    field = TODO("IrConstructorCall")
+    field = <this>.JInner()
    get


@@ -1,4 +1,4 @@
 val test: @FlexibleNullability String?
-  field = TODO("IrConstructorCall").getFoo()
+  field = J().getFoo()
  get

@@ -12,7 +12,7 @@ fun <R : Any?> scopedFlow(block: @ExtensionFunctionType SuspendFunction2<Corouti

 fun <T : Any?> Flow<T>.onCompletion(action: @ExtensionFunctionType SuspendFunction2<FlowCollector<T>, @ParameterName(...) Throwable?, Unit>): Flow<T> {
  return unsafeFlow<T>(block =   local suspend fun FlowCollector<T>.<anonymous>() {
-    val safeCollector: SafeCollector<T> = TODO("IrConstructorCall")
+    val safeCollector: SafeCollector<T> = SafeCollector<T>(collector = <this>)
    safeCollector.invokeSafely<T>(action = action)
  }
 )
@@ -41,7 +41,7 @@ private fun CoroutineScope.asFairChannel(flow: Flow<*>): ReceiveChannel<Any> {
      return channel.sendFair(element = { // BLOCK
        val tmp0_elvis_lhs: Any? = value
        when {
-          EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> TODO("IrConstructorCall")
+          EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> Any()
          true -> tmp0_elvis_lhs
        }
      })
@@ -57,7 +57,7 @@ private fun CoroutineScope.asChannel(flow: Flow<*>): ReceiveChannel<Any> {
      return <this>.<get-channel>().send(e = { // BLOCK
        val tmp0_elvis_lhs: Any? = value
        when {
-          EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> TODO("IrConstructorCall")
+          EQEQ(arg0 = tmp0_elvis_lhs, arg1 = null) -> Any()
          true -> tmp0_elvis_lhs
        }
      })
@@ -124,7 +124,7 @@ val <T : Any?> Value<T, CR<T>>.additionalText: P<T, T> /* by */
          }


-          TODO("IrConstructorCall")
+          <no name provided>()
        }
        private get(): Any? {
          return #deepO$delegate.getValue(t = <this>, p = ::deepO) /*as Any? */
@@ -149,14 +149,14 @@ val <T : Any?> Value<T, CR<T>>.additionalText: P<T, T> /* by */
          }


-          TODO("IrConstructorCall")
+          <no name provided>()
        }
        private get(): Any? {
          return #deepK$delegate.getValue(t = <this>, p = ::deepK) /*as Any? */
        }

      override operator fun getValue(t: Value<Any?, CR<Any?>>, p: KProperty<*>): P<Any?, Any?> {
-        return TODO("IrConstructorCall")
+        return P<Any?, Any?>(p1 = (<this>, t).<get-deepO>() /*as Any? */, p2 = (<this>, t).<get-deepK>() /*as Any? */)
      }


@@ -165,7 +165,7 @@ val <T : Any?> Value<T, CR<T>>.additionalText: P<T, T> /* by */
    }


-    TODO("IrConstructorCall")
+    <no name provided>()
  }
  get(): P<T, T> {
    return #additionalText$delegate.getValue(t = <this>, p = ::additionalText)
@@ -23,8 +23,8 @@ inline fun <reified K : Any?> In<K>.ofType(y: Any?): Boolean {
 }

 fun test() {
-  val a1: Array<In<Int>> = arrayOf<In<Int>>(elements = [TODO("IrConstructorCall")])
-  val a2: Array<In<String>> = arrayOf<In<String>>(elements = [TODO("IrConstructorCall")])
+  val a1: Array<In<Int>> = arrayOf<In<Int>>(elements = [In<Int>()])
+  val a2: Array<In<String>> = arrayOf<In<String>>(elements = [In<String>()])
  foo<Int>(a = a1, b = a2) /*~> Unit */
 }

@@ -23,8 +23,8 @@ inline fun <reified K : Any?> In<K>.ofType(y: Any?): Boolean {
 }

 fun test() {
-  val a1: Array<In<Int>> = arrayOf<In<Int>>(elements = [TODO("IrConstructorCall")])
-  val a2: Array<In<String>> = arrayOf<In<String>>(elements = [TODO("IrConstructorCall")])
+  val a1: Array<In<Int>> = arrayOf<In<Int>>(elements = [In<Int>()])
+  val a2: Array<In<String>> = arrayOf<In<String>>(elements = [In<String>()])
  foo<Int>(a = a1, b = a2) /*~> Unit */
 }

@@ -40,8 +40,8 @@ fun <T : Any?> run(fn: Function0<T>): T {

 fun foo(): Any {
  return run<Any>(fn =   local fun <anonymous>(): Any {
-    val mm: B = TODO("IrConstructorCall")
-    val nn: C = TODO("IrConstructorCall")
+    val mm: B = B()
+    val nn: C = C()
    val c: Any = when {
      true -> mm
      true -> nn
@@ -40,8 +40,8 @@ fun <T : Any?> run(fn: Function0<T>): T {

 fun foo(): Any {
  return run<Any>(fn =   local fun <anonymous>(): Any {
-    val mm: B = TODO("IrConstructorCall")
-    val nn: C = TODO("IrConstructorCall")
+    val mm: B = B()
+    val nn: C = C()
    val c: Any = when {
      true -> mm
      true -> nn
@@ -100,7 +100,7 @@ data class P {
  }

  fun copy(x: Int = #x, y: Int = #y): P {
-    return TODO("IrConstructorCall")
+    return P(x = x, y = y)
  }

  override fun toString(): String {