[IR] update testdata: better support for IrConstructorCall

compiler/testData/ir/irText/classes/cloneable.kt.txt

@@ -39,7 +39,7 @@ class OC : I {
   }
 
   protected override fun clone(): OC {
-    return TODO("IrConstructorCall")
+    return OC()
   }
 
 

compiler/testData/ir/irText/classes/dataClassWithArrayMembers.kt.txt

@@ -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 {

compiler/testData/ir/irText/classes/dataClasses.kt.txt

@@ -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 {

compiler/testData/ir/irText/classes/dataClassesGeneric.kt.txt

@@ -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 {

compiler/testData/ir/irText/classes/delegatedImplementation.kt.txt

@@ -85,7 +85,7 @@ fun otherImpl(x0: String, y0: Int): IOther {
     }
 
 
-    TODO("IrConstructorCall")
+    <no name provided>()
   }
 }
 

compiler/testData/ir/irText/classes/implicitNotNullOnDelegatedImplementation.kt.txt

@@ -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 */
   }

compiler/testData/ir/irText/classes/inlineClassSyntheticMethods.kt.txt

@@ -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"
   }

compiler/testData/ir/irText/classes/kt31649.kt.txt

@@ -14,7 +14,7 @@ data class TestData {
   }
 
   fun copy(nn: Nothing? = #nn): TestData {
-    return TODO("IrConstructorCall")
+    return TestData(nn = nn)
   }
 
   override fun toString(): String {

compiler/testData/ir/irText/classes/lambdaInDataClassDefaultParameter.kt.txt

@@ -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 {

compiler/testData/ir/irText/classes/localClasses.kt.txt

@@ -15,6 +15,6 @@ fun outer() {
   }
 
 
-  TODO("IrConstructorCall").foo()
+  LocalClass().foo()
 }
 

compiler/testData/ir/irText/classes/objectLiteralExpressions.kt.txt

@@ -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>()
   }
 }
 

compiler/testData/ir/irText/declarations/annotations/delegatedPropertyAccessorsWithAnnotations.kt.txt

@@ -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)

compiler/testData/ir/irText/declarations/parameters/dataClassMembers.kt.txt

@@ -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 {

compiler/testData/ir/irText/declarations/provideDelegate/differentReceivers.kt.txt

@@ -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)
   }

compiler/testData/ir/irText/declarations/provideDelegate/local.kt.txt

@@ -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)
     }

compiler/testData/ir/irText/declarations/provideDelegate/localDifferentReceivers.kt.txt

@@ -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)
     }

compiler/testData/ir/irText/declarations/provideDelegate/member.kt.txt

@@ -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)
     }

compiler/testData/ir/irText/declarations/provideDelegate/memberExtension.kt.txt

@@ -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 */ 

compiler/testData/ir/irText/declarations/provideDelegate/topLevel.kt.txt

@@ -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)
   }

compiler/testData/ir/irText/expressions/augmentedAssignment2.kt.txt

@@ -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 = "*=")

compiler/testData/ir/irText/expressions/augmentedAssignmentWithExpression.kt.txt

@@ -18,7 +18,7 @@ class Host {
 }
 
 fun foo(): Host {
-  return TODO("IrConstructorCall")
+  return Host()
 }
 
 fun Host.test2() {

compiler/testData/ir/irText/expressions/breakContinueInWhen.kt.txt

@@ -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)
   }
 }
 

compiler/testData/ir/irText/expressions/callableReferences/boundInnerGenericConstructor.kt.txt

@@ -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>())
 }

compiler/testData/ir/irText/expressions/callableReferences/constructorWithAdaptedArguments.kt.txt

@@ -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])
     }
 
 

compiler/testData/ir/irText/expressions/callableReferences/kt37131.kt.txt

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

compiler/testData/ir/irText/expressions/callableReferences/withArgumentAdaptationAndReceiver.kt.txt

@@ -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 */

compiler/testData/ir/irText/expressions/callableReferences/withVarargViewedAsArray.kt.txt

@@ -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) {

compiler/testData/ir/irText/expressions/classReference.kt.txt

@@ -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 */
 }
 

compiler/testData/ir/irText/expressions/complexAugmentedAssignment.kt.txt

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

compiler/testData/ir/irText/expressions/constructorWithOwnTypeParametersCall.kt.txt

@@ -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> {

compiler/testData/ir/irText/expressions/contructorCall.kt.txt

@@ -11,6 +11,6 @@ class A {
 }
 
 val test: A
-  field = TODO("IrConstructorCall")
+  field = A()
   get
 

compiler/testData/ir/irText/expressions/forWithImplicitReceivers.kt.txt

@@ -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 {

compiler/testData/ir/irText/expressions/funInterface/partialSam.kt.txt

@@ -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
 

compiler/testData/ir/irText/expressions/genericConstructorCallWithTypeArguments.kt.txt

@@ -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?> {

compiler/testData/ir/irText/expressions/genericPropertyRef.kt.txt

@@ -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)
   }

compiler/testData/ir/irText/expressions/jvmFieldWithIntersectionTypes.kt.txt

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

compiler/testData/ir/irText/expressions/kt16904.kt.txt

@@ -6,7 +6,7 @@ abstract class A {
   }
 
   val x: B
-    field = TODO("IrConstructorCall")
+    field = B()
     get
 
   var y: Int

compiler/testData/ir/irText/expressions/kt16905.kt.txt

@@ -48,6 +48,6 @@ class Outer {
 
 typealias OI = Inner
 fun test(): Inner {
-  return TODO("IrConstructorCall")
+  return Outer().Inner()
 }
 

compiler/testData/ir/irText/expressions/kt30796.kt.txt

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

compiler/testData/ir/irText/expressions/kt36956.kt.txt

@@ -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

compiler/testData/ir/irText/expressions/memberTypeArguments.kt.txt

@@ -10,7 +10,7 @@ class GenericClass<T : Any?> {
     get
 
   fun withNewValue(newValue: T): GenericClass<T> {
-    return TODO("IrConstructorCall")
+    return GenericClass<T>(value = newValue)
   }
 
 

compiler/testData/ir/irText/expressions/multipleThisReferences.kt.txt

@@ -56,7 +56,7 @@ class Host {
       }
 
 
-      TODO("IrConstructorCall")
+      <no name provided>()
     }
   }
 

compiler/testData/ir/irText/expressions/objectReference.kt.txt

@@ -85,7 +85,7 @@ object Z {
       }
 
 
-      TODO("IrConstructorCall")
+      <no name provided>()
     }
     get
 

compiler/testData/ir/irText/expressions/sam/arrayAsVarargAfterSamArgument.kt.txt

@@ -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 i1: Test = Test(r =   local fun <anonymous>() {
-  val i2: Test = TODO("IrConstructorCall")
+    return Unit
-  val i3: Test = TODO("IrConstructorCall")
+  }
-  val i4: Test = TODO("IrConstructorCall")
+ /*-> @FlexibleNullability Runnable? */, strs = arr)
-  val i5: Test = TODO("IrConstructorCall")
+  val i2: Test = Test(r =   local fun <anonymous>() {
-  val i6: Test = TODO("IrConstructorCall")
+    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
   }

compiler/testData/ir/irText/expressions/sam/samConversionInGenericConstructorCall.kt.txt

@@ -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 */
 }
 

compiler/testData/ir/irText/expressions/sam/samConversionInGenericConstructorCall_NI.kt.txt

@@ -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 */
 }
 

compiler/testData/ir/irText/expressions/sam/samConversionsWithSmartCasts.kt.txt

@@ -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? */)
 }
 

compiler/testData/ir/irText/expressions/specializedTypeAliasConstructorCall.kt.txt

@@ -16,6 +16,6 @@ class Cell<T : Any?> {
 
 typealias IntAlias = Cell<Int>
 fun test(): Cell<Int> {
-  return TODO("IrConstructorCall")
+  return Cell<Int>(value = 42)
 }
 

compiler/testData/ir/irText/expressions/thisOfGenericOuterClass.kt.txt

@@ -49,7 +49,7 @@ fun Outer<Int>.test(): Inner<Int> {
     }
 
 
-    TODO("IrConstructorCall")
+    <no name provided>()
   }
 }
 

compiler/testData/ir/irText/expressions/thisReferenceBeforeClassDeclared.kt.txt

@@ -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>()
   }
 }
 

compiler/testData/ir/irText/expressions/throw.kt.txt

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

compiler/testData/ir/irText/firProblems/ClashResolutionDescriptor.kt.txt

@@ -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>())
       }
     }
   }

compiler/testData/ir/irText/firProblems/InnerClassInAnonymous.kt.txt

@@ -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()
 }

compiler/testData/ir/irText/firProblems/MultiList.kt.txt

@@ -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 {

compiler/testData/ir/irText/firProblems/SignatureClash.kt.txt

@@ -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 {

compiler/testData/ir/irText/firProblems/v8arrayToList.kt.txt

@@ -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)
 }

compiler/testData/ir/irText/lambdas/destructuringInLambda.kt.txt

@@ -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 {

compiler/testData/ir/irText/regressions/coercionInLoop.kt.txt

@@ -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

compiler/testData/ir/irText/regressions/typeAliasCtorForGenericClass.kt.txt

@@ -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 b: A<Int> = A<Int>(q = 2)
-  val b2: A<A<Int>> = TODO("IrConstructorCall")
+  val b2: A<A<Int>> = A<A<Int>>(q = b)
 }
 

compiler/testData/ir/irText/stubs/builtinMap.kt.txt

@@ -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 */
     }
 )

compiler/testData/ir/irText/stubs/javaConstructorWithTypeParameters.kt.txt

@@ -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)
 }
 

compiler/testData/ir/irText/stubs/javaInnerClass.kt.txt

@@ -6,7 +6,7 @@ class Test1 : J {
   }
 
   val test: JInner
-    field = TODO("IrConstructorCall")
+    field = <this>.JInner()
     get
 
 

compiler/testData/ir/irText/stubs/javaSyntheticProperty.kt.txt

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

compiler/testData/ir/irText/types/castsInsideCoroutineInference.kt.txt

@@ -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
         }
       })

compiler/testData/ir/irText/types/genericDelegatedDeepProperty.kt.txt

@@ -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)

compiler/testData/ir/irText/types/intersectionType1_NI.kt.txt

@@ -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 a1: Array<In<Int>> = arrayOf<In<Int>>(elements = [In<Int>()])
-  val a2: Array<In<String>> = arrayOf<In<String>>(elements = [TODO("IrConstructorCall")])
+  val a2: Array<In<String>> = arrayOf<In<String>>(elements = [In<String>()])
   foo<Int>(a = a1, b = a2) /*~> Unit */
 }
 

compiler/testData/ir/irText/types/intersectionType1_OI.kt.txt

@@ -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 a1: Array<In<Int>> = arrayOf<In<Int>>(elements = [In<Int>()])
-  val a2: Array<In<String>> = arrayOf<In<String>>(elements = [TODO("IrConstructorCall")])
+  val a2: Array<In<String>> = arrayOf<In<String>>(elements = [In<String>()])
   foo<Int>(a = a1, b = a2) /*~> Unit */
 }
 

compiler/testData/ir/irText/types/intersectionType2_NI.kt.txt

@@ -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 mm: B = B()
-    val nn: C = TODO("IrConstructorCall")
+    val nn: C = C()
     val c: Any = when {
       true -> mm
       true -> nn

compiler/testData/ir/irText/types/intersectionType2_OI.kt.txt

@@ -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 mm: B = B()
-    val nn: C = TODO("IrConstructorCall")
+    val nn: C = C()
     val c: Any = when {
       true -> mm
       true -> nn

compiler/testData/ir/irText/types/nullChecks/enhancedNullabilityInForLoop.kt.txt

@@ -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 {