JS IR: Remove inline functions with reified type parameters

Otherwise we cannot handle type casts

compiler/ir/backend.js/src/org/jetbrains/kotlin/ir/backend/js/compiler.kt

@@ -10,10 +10,7 @@ import org.jetbrains.kotlin.backend.common.lower.*
 import org.jetbrains.kotlin.backend.common.runOnFilePostfix
 import org.jetbrains.kotlin.config.CompilerConfiguration
 import org.jetbrains.kotlin.ir.backend.js.lower.*
-import org.jetbrains.kotlin.ir.backend.js.lower.inline.FunctionInlining
-import org.jetbrains.kotlin.ir.backend.js.lower.inline.ReturnableBlockLowering
-import org.jetbrains.kotlin.ir.backend.js.lower.inline.referenceAllTypeExternalClassifiers
-import org.jetbrains.kotlin.ir.backend.js.lower.inline.replaceUnboundSymbols
+import org.jetbrains.kotlin.ir.backend.js.lower.inline.*
 import org.jetbrains.kotlin.ir.backend.js.transformers.irToJs.IrModuleToJsTransformer
 import org.jetbrains.kotlin.ir.declarations.IrFile
 import org.jetbrains.kotlin.ir.declarations.IrModuleFragment
@@ -73,6 +70,10 @@ fun JsIrBackendContext.performInlining(moduleFragment: IrModuleFragment) {
     } while (symbolTable.unboundClasses.isNotEmpty())
 
     moduleFragment.patchDeclarationParents()
+
+    moduleFragment.files.forEach { file ->
+        RemoveInlineFunctionsWithReifiedTypeParametersLowering.runOnFilePostfix(file)
+    }
 }
 
 fun JsIrBackendContext.lower(file: IrFile) {

compiler/ir/backend.js/src/org/jetbrains/kotlin/ir/backend/js/lower/inline/RemoveInlineFunctionsWithReifiedTypeParametersLowering.kt

@@ -0,0 +1,22 @@
+/*
+ * Copyright 2010-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license
+ * that can be found in the license/LICENSE.txt file.
+ */
+
+package org.jetbrains.kotlin.ir.backend.js.lower.inline
+
+import org.jetbrains.kotlin.backend.common.DeclarationContainerLoweringPass
+import org.jetbrains.kotlin.ir.backend.js.utils.isReified
+import org.jetbrains.kotlin.ir.declarations.IrDeclarationContainer
+import org.jetbrains.kotlin.ir.declarations.IrFunction
+import org.jetbrains.kotlin.ir.util.deepCopyOld
+import org.jetbrains.kotlin.ir.util.transformFlat
+
+
+object RemoveInlineFunctionsWithReifiedTypeParametersLowering: DeclarationContainerLoweringPass {
+    override fun lower(irDeclarationContainer: IrDeclarationContainer) {
+        irDeclarationContainer.declarations.transformFlat {
+            if (it is IrFunction && it.isInline && it.typeParameters.any { it.isReified }) listOf() else null
+        }
+    }
+}

compiler/ir/backend.js/src/org/jetbrains/kotlin/ir/backend/js/utils/descriptorBasedUtils.kt

@@ -14,6 +14,7 @@ import org.jetbrains.kotlin.descriptors.FunctionDescriptor
 import org.jetbrains.kotlin.descriptors.ModuleDescriptor
 import org.jetbrains.kotlin.descriptors.PropertyAccessorDescriptor
 import org.jetbrains.kotlin.incremental.components.NoLookupLocation
+import org.jetbrains.kotlin.ir.declarations.IrTypeParameter
 import org.jetbrains.kotlin.ir.symbols.IrClassSymbol
 import org.jetbrains.kotlin.ir.symbols.IrConstructorSymbol
 import org.jetbrains.kotlin.name.FqName
@@ -58,4 +59,7 @@ fun createValueParameter(containingDeclaration: CallableDescriptor, index: Int,
 val CallableMemberDescriptor.propertyIfAccessor
     get() = if (this is PropertyAccessorDescriptor)
         this.correspondingProperty
-    else this
+    else this
+
+val IrTypeParameter.isReified
+    get() = descriptor.isReified

compiler/testData/codegen/box/diagnostics/vararg/kt4172.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 fun box(): String {
     main(array())
     return "OK"

compiler/testData/codegen/box/inlineClasses/checkForInstanceOfInlineClass.kt

@@ -1,5 +1,4 @@
 // !LANGUAGE: +InlineClasses
-// IGNORE_BACKEND: JS_IR
 
 inline class UInt(val u: Int) {
     override fun toString(): String {

compiler/testData/codegen/box/nullCheckOptimization/isNullable.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 inline fun <reified T> isNullable() = null is T
 
 fun box(): String =

compiler/testData/codegen/box/smartCasts/genericSet.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 class Wrapper<T>(var x: T)
 
 inline fun <reified T> change(w: Wrapper<T>, x: Any?) {

compiler/testData/codegen/boxInline/defaultValues/lambdaInlining/checkObjectClassIsPresent.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // NO_CHECK_LAMBDA_INLINING
 // FILE: 1.kt
 package test

compiler/testData/codegen/boxInline/defaultValues/lambdaInlining/checkStaticObjectClassIsPresent.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // NO_CHECK_LAMBDA_INLINING
 // FILE: 1.kt
 package test

compiler/testData/codegen/boxInline/defaultValues/lambdaInlining/simpleErased.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // FILE: 1.kt
 // LANGUAGE_VERSION: 1.2
 // SKIP_INLINE_CHECK_IN: inlineFun$default

compiler/testData/codegen/boxInline/defaultValues/lambdaInlining/simpleErasedStaticInstance.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // FILE: 1.kt
 // LANGUAGE_VERSION: 1.2
 // SKIP_INLINE_CHECK_IN: inlineFun$default

js/js.translator/testData/box/inline/jsCode.kt

@@ -1,3 +1,4 @@
+// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1115
 package foo
 

js/js.translator/testData/box/reified/callChain.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1116
 package foo
 

js/js.translator/testData/box/reified/extensionFun.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1123
 package foo
 

js/js.translator/testData/box/reified/extensionLambda.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1119
 package foo
 

js/js.translator/testData/box/reified/innerObject.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1130
 package foo
 

js/js.translator/testData/box/reified/isBool.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1112
 package foo
 

js/js.translator/testData/box/reified/isClass.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1125
 package foo
 

js/js.translator/testData/box/reified/isString.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1112
 package foo
 

js/js.translator/testData/box/reified/isTNullable.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1116
 package foo
 

js/js.translator/testData/box/reified/multipleTypeParameters.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1118
 package foo
 

js/js.translator/testData/box/reified/noValueParameters.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1114
 package foo
 

js/js.translator/testData/box/reified/parameterSwap.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1118
 package foo
 

js/js.translator/testData/box/reified/withInlineTurnedOff.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1119
 package foo
 

js/js.translator/testData/box/rtti/isReifiedObject.kt

@@ -1,4 +1,3 @@
-// IGNORE_BACKEND: JS_IR
 // EXPECTED_REACHABLE_NODES: 1114
 // NO_INLINE
 package foo