FIR serializer: consider exotic types as errors (breaks 4 BB tests)

compiler/fir/fir-serialization/src/org/jetbrains/kotlin/fir/serialization/FirElementSerializer.kt

@@ -550,10 +550,6 @@ class FirElementSerializer private constructor(
         val builder = ProtoBuf.Type.newBuilder()
 
         when (type) {
-            is ConeIntegerLiteralType -> {
-                // Questionable, I'm not sure we should expect this type here
-                return typeProto(type.getApproximatedType())
-            }
             is ConeKotlinErrorType -> {
                 extension.serializeErrorType(type, builder)
                 return builder
@@ -569,20 +565,6 @@ class FirElementSerializer private constructor(
                 }
                 return lowerBound
             }
-            is ConeCapturedType -> {
-                val lowerType = type.lowerType
-                return if (lowerType != null) {
-                    typeProto(lowerType)
-                } else {
-                    typeProto(type.constructor.supertypes!!.first())
-                }
-            }
-            is ConeDefinitelyNotNullType -> {
-                return typeProto(type.original)
-            }
-            is ConeIntersectionType -> {
-                return typeProto(type.intersectedTypes.first())
-            }
             is ConeClassLikeType -> {
                 if (type.isSuspendFunctionType(session)) {
                     val runtimeFunctionType = transformSuspendFunctionToRuntimeFunctionType(type)
@@ -600,8 +582,8 @@ class FirElementSerializer private constructor(
                     builder.typeParameter = getTypeParameterId(typeParameter)
                 }
             }
-            is ConeLookupTagBasedType, is ConeStubType -> {
+            else -> {
-                throw AssertionError("Should not be here")
+                throw AssertionError("Should not be here: ${type::class.java}")
             }
         }
 

compiler/testData/codegen/box/diagnostics/functions/inference/kt6176.kt

@@ -1,3 +1,4 @@
+// IGNORE_BACKEND_FIR: JVM_IR
 // !DIAGNOSTICS: -DEBUG_INFO_SMARTCAST
 
 fun <R> foo(f: () -> R): R = f()

compiler/testData/codegen/box/javaInterop/notNullAssertions/enhancedNullability/inFunctionWithExpressionBodyWithJavaGeneric.kt

@@ -1,3 +1,4 @@
+// IGNORE_BACKEND_FIR: JVM_IR
 // !LANGUAGE: +StrictJavaNullabilityAssertions
 // TARGET_BACKEND: JVM
 // SKIP_JDK6

compiler/testData/codegen/box/lazyCodegen/ifElse.kt

@@ -1,3 +1,4 @@
+// IGNORE_BACKEND_FIR: JVM_IR
 class A (val p: String, p1: String, p2: String) {
 
     var cond1 :String = ""

compiler/testData/codegen/box/regressions/commonSupertypeContravariant2.kt

@@ -1,3 +1,4 @@
+// IGNORE_BACKEND_FIR: JVM_IR
 interface In<in E>
 class A : In<A>
 class B : In<B>