[IR] Inliner: supported recursion in default arguments

compiler/ir/backend.common/src/org/jetbrains/kotlin/backend/common/lower/inline/FunctionInlining.kt

@@ -162,11 +162,17 @@ class FunctionInlining(
             callee: IrFunction,
             performRecursiveInline: Boolean
         ): IrReturnableBlock {
-            val copiedCallee = copyIrElement.copy(callee).let {
+            val copiedCallee = (copyIrElement.copy(callee) as IrFunction).apply {
-                (it as IrFunction).parent = callee.parent
+                parent = callee.parent
-                if (performRecursiveInline)
+                if (performRecursiveInline) {
-                    visitElement(it) as IrFunction
+                    body?.transformChildrenVoid()
-                else it
+                    valueParameters.forEachIndexed { index, param ->
+                        if (callSite.getValueArgument(index) == null) {
+                            // Default values can recursively reference [callee] - transform only needed.
+                            param.defaultValue = param.defaultValue?.transform(this@FunctionInlining, null)
+                        }
+                    }
+                }
             }
 
             val evaluationStatements = evaluateArguments(callSite, copiedCallee)

compiler/testData/codegen/box/defaultArguments/recursiveDefaultArguments.kt

@@ -1,4 +1,4 @@
-// IGNORE_BACKEND: JS, JS_IR
+// IGNORE_BACKEND: JS
 @Suppress("RECURSION_IN_INLINE")
 inline fun test(p: String = test("OK")): String {
     return p