FIR: add status line to all failing black box tests

2021-11-19 13:30:33 +03:00
parent d0d1c8c4b9
commit cf104c8433
176 changed files with 184 additions and 24 deletions
@@ -1,5 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
-// See KT-46967
+// FIR status: generic annotation aren't supported in FIR inference yet; see also KT-46967
 // MODULE: lib
 // FILE: l1.kt
 package ann
@@ -2,6 +2,7 @@
 // is seen as coming from the same module.
 // See IrSourceCompilerForInline.kt:isCallInsideSameModuleAsCallee.
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: assertion failed: assert(one.javaClass.getEnclosingClass().getName() == "test.C")
 // TARGET_BACKEND: JVM_IR
 // IGNORE_DEXING
 // WITH_STDLIB
@@ -1,5 +1,5 @@
-// Multi-platform not supported with FIR yet.
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: expect/actual in the same module (ACTUAL_WITHOUT_EXPECT)
 // IGNORE_BACKEND: JVM
 // IGNORE_BACKEND: WASM

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature
 // !LANGUAGE: -ProhibitAssigningSingleElementsToVarargsInNamedForm
 // TARGET_BACKEND: JVM

@@ -1,4 +1,5 @@
 // !LANGUAGE: -UseCorrectExecutionOrderForVarargArguments
+// FIR status: don't support legacy feature
 // WITH_STDLIB
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND: JVM_IR
@@ -1,6 +1,7 @@
 // !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature
 // WITH_STDLIB
 // This test exists only to check that we don't accidentally break the buggy behavior of the old JVM backend in JVM IR (KT-42321).
 // Feel free to remove it as soon as there's no language version where such code is allowed (KT-38895).
@@ -1,6 +1,6 @@
 // LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // IGNORE_BACKEND_FIR: JVM_IR
-// For reasons this test is ignored, go to KT-46419
+// FIR status: don't support legacy feature; for reasons this test is ignored, go to KT-46419

 fun box(): String {
    val a1: Byte = 1.plus(1)
@@ -1,6 +1,6 @@
 // LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // IGNORE_BACKEND_FIR: JVM_IR
-// For reasons this test is ignored, go to KT-46419
+// FIR status: don't support legacy feature; for reasons this test is ignored, go to KT-46419

 fun box(): String {
    val a1: Byte? = 1.plus(1)
@@ -1,6 +1,6 @@
 // LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // IGNORE_BACKEND_FIR: JVM_IR
-// For reasons this test is ignored, go to KT-46419
+// FIR status: don't support legacy feature; for reasons this test is ignored, go to KT-46419

 fun box(): String {
    val a1: Byte = 1 + 1
@@ -1,6 +1,6 @@
 // LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // IGNORE_BACKEND_FIR: JVM_IR
-// For reasons this test is ignored, go to KT-46419
+// FIR status: don't support legacy feature; for reasons this test is ignored, go to KT-46419

 fun box(): String {
    val a1: Byte? = 1 + 1
@@ -1,6 +1,6 @@
 // LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // IGNORE_BACKEND_FIR: JVM_IR
-// For reasons this test is ignored, go to KT-46419
+// FIR status: don't support legacy feature; for reasons this test is ignored, go to KT-46419

 fun box(): String {
    val a: Long = 2147483647 + 1
@@ -1,5 +1,6 @@
 // !LANGUAGE: -AbstractClassMemberNotImplementedWithIntermediateAbstractClass
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature

 interface A {
    fun foo(): Any
@@ -1,5 +1,6 @@
 // !LANGUAGE: -AbstractClassMemberNotImplementedWithIntermediateAbstractClass
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature

 // FILE: 1.kt
 class Test: Impl(), CProvider
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: V
 //  java.lang.UnsupportedOperationException: This function has a reified type parameter and thus can only be inlined at compilation time,
 //  not called directly.
 //    at kotlin.jvm.internal.Intrinsics.throwUndefinedForReified(Intrinsics.java:207)
@@ -1,5 +1,6 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: IAE: tried to access class test.PX from class BoxKt$box$2
 // MODULE: lib
 // FILE: X.java
 package test;
@@ -4,6 +4,7 @@
 // IGNORE_BACKEND: JS
 // IGNORE_BACKEND: JS_IR
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: not supported in JVM

 fun <T> test(t: T) = t as (T & Any)

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: wrong ABSTRACT_MEMBER_NOT_IMPLEMENTED, probably provoked by override mapping error
 // TARGET_BACKEND: JVM

 // FILE: J.java
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: wrong ABSTRACT_MEMBER_NOT_IMPLEMENTED, probably provoked by override mapping error
 // TARGET_BACKEND: JVM

 // FILE: J.java
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: wrong ABSTRACT_MEMBER_NOT_IMPLEMENTED, probably provoked by override mapping error
 // TARGET_BACKEND: JVM

 // FILE: J.java
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: wrong ABSTRACT_MEMBER_NOT_IMPLEMENTED, probably provoked by override mapping error
 // TARGET_BACKEND: JVM

 // WITH_STDLIB
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: wrong ABSTRACT_MEMBER_NOT_IMPLEMENTED, probably provoked by override mapping error
 // TARGET_BACKEND: JVM

 // FILE: J.java
@@ -1,6 +1,7 @@
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: in progress (M.G.)
 // IGNORE_BACKEND: ANDROID
 //  ^ NSME: java.util.AbstractMap.remove
 // FULL_JDK
@@ -1,6 +1,7 @@
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: in progress (M.G.)
 // IGNORE_BACKEND: ANDROID
 //  ^ NSME: java.util.AbstractMap.remove
 // FULL_JDK
@@ -1,6 +1,7 @@
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: in progress (M.G.)
 // IGNORE_BACKEND: ANDROID
 //  ^ NSME: java.util.AbstractMap.remove
 // FULL_JDK
@@ -1,6 +1,7 @@
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: in progress (M.G.)
 // IGNORE_BACKEND: ANDROID
 //  ^ NSME: java.util.AbstractMap.remove
 // FULL_JDK
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: List is empty for val argumentType = mycType.arguments.single().type!!
 // TARGET_BACKEND: JVM
 // WITH_REFLECT
 // MODULE: lib
@@ -1,5 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
-//  ^ TODO decide if we want to fix KT-42020 for FIR as well
+// FIR status: Validation failed. TODO decide if we want to fix KT-42020 for FIR as well
 // MODULE: lib
 // FILE: a.kt
 package a
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: class should be regenerated, but test.AKt$sam$i$java_util_concurrent_Callable$0
 // FULL_JDK
 // WITH_STDLIB

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: class should be regenerated, but test.AKt$sam$i$java_util_concurrent_Callable$0
 // FULL_JDK
 // WITH_STDLIB

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: fail 1 : class test.AKt$test$1$1 ==  class test.AKt$test$1$1
 // TARGET_BACKEND: JVM
 // WITH_STDLIB

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: fail 1 : class test.AKt$test$1$1 ==  class test.AKt$test$1$1
 // TARGET_BACKEND: JVM
 // WITH_STDLIB

@@ -1,5 +1,6 @@
 // !JVM_DEFAULT_MODE: all-compatibility
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: FailK
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // !JVM_DEFAULT_MODE: all-compatibility
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: failK
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: fail
 // FULL_JDK
 // MODULE: lib
 // !JVM_DEFAULT_MODE: disable
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: AbstractMethodError: UnspecializedFromDerived.test(Ljava/lang/Object;)Ljava/lang/Object;
 // WITH_STDLIB
 // JVM_TARGET: 1.8
 // MODULE: lib
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: AbstractMethodError: Method Foo.call()Ljava/util/List; is abstract
 // FULL_JDK
 // WITH_STDLIB

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: AbstractMethodError: Foo.call()Ljava/util/List;
 // FULL_JDK
 // WITH_STDLIB

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: AbstractMethodError: KInterface.superCall()Ljava/util/List;
 // FULL_JDK
 // WITH_STDLIB
 // JVM_TARGET: 1.8
@@ -1,5 +1,6 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: BKt$box$get$1 cannot be cast to kotlin.reflect.KMutableProperty0
 // WITH_STDLIB
 // MODULE: lib
 // FILE: A.kt
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: expect/actual in the same module (ACTUAL_WITHOUT_EXPECT)
 // !LANGUAGE: +MultiPlatformProjects
 // !OPT_IN: kotlin.ExperimentalMultiplatform
 // TARGET_BACKEND: JVM
@@ -3,6 +3,7 @@
 // IGNORE_BACKEND: JS, JS_IR, NATIVE
 // IGNORE_BACKEND: JS_IR_ES6
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: value: 0 should have type Long
 // WITH_STDLIB

 // FILE: J.java
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: some error in resolve (FirErrorNamedReferenceImpl in FIR)
 // TARGET_BACKEND: JVM
 // WITH_STDLIB
 // WITH_COROUTINES
@@ -1,6 +1,7 @@
 // !LANGUAGE: +MultiPlatformProjects
 // WITH_STDLIB
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: expect/actual in the same module (ACTUAL_WITHOUT_EXPECT)

 import kotlin.coroutines.*

@@ -1,6 +1,7 @@
 // KJS_WITH_FULL_RUNTIME
 // IGNORE_BACKEND: JS, JVM, JVM_IR
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: not supported in JVM
 // !LANGUAGE: +SuspendFunctionAsSupertype

 import kotlin.coroutines.*
@@ -2,6 +2,7 @@
 // WITH_COROUTINES
 // IGNORE_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: VARIABLE_EXPECTED at b?.a += ... Not sure FIR supports this (contact Dmitry Novozhilov)

 import kotlin.coroutines.*
 import helpers.*
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: not supported in JVM
 // IGNORE_BACKEND: JVM_IR, JS_IR
 // IGNORE_BACKEND: JS_IR_ES6
 // IGNORE_BACKEND: JVM, JS, NATIVE
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: wrong ABSTRACT_SUPER_CALL
 // TARGET_BACKEND: JVM
 // WITH_STDLIB
 // WITH_COROUTINES
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: questionable bytecode listing difference (open/final methods in final class)
 // WITH_STDLIB
 // WITH_COROUTINES
 // CHECK_BYTECODE_LISTING
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: questionable bytecode listing difference (open/final methods in final class)
 // WITH_STDLIB
 // WITH_COROUTINES
 // CHECK_BYTECODE_LISTING
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: questionable bytecode listing difference (open/final methods in final class)
 // TARGET_BACKEND: JVM
 // FULL_JDK
 // WITH_STDLIB
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature (prefix increment calls getter twice). fail 2: anone1
 var inc: String = ""

 class X {
@@ -1,6 +1,7 @@
 // !LANGUAGE: -ProperArrayConventionSetterWithDefaultCalls
 // IGNORE_BACKEND: JVM_IR
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature
 // TARGET_BACKEND: JVM
 var result = "fail"

@@ -1,6 +1,7 @@
 // WITH_STDLIB

 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status:
 //  java.lang.StackOverflowError
 //	at Nat$Companion$invoke$1.next(kt36853_fibonacci.kt:40) ...

@@ -1,5 +1,6 @@
 // IGNORE_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature. UNINITIALIZED_PARAMETER y. See KT-49800
 tailrec fun foo(x: () -> String? = { y }, y: String = "fail"): String? {
    if (y == "start")
        return foo()
@@ -1,6 +1,6 @@
 // TARGET_BACKEND: JVM
-// v-- fir2ir produces an IrFunctionReference of type KProperty0 instead of an IrPropertyReference
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: REPEATED_ANNOTATION at val y9; fir2ir produces an IrFunctionReference of type KProperty0 instead of an IrPropertyReference
 // WITH_REFLECT
 // WITH_STDLIB
 // FILE: J.java
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: not supported in JVM
 // IGNORE_BACKEND: NATIVE
 // IGNORE_BACKEND: JVM_IR
 // IGNORE_BACKEND: JS_IR
@@ -1,5 +1,8 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: V
+// Caused by: java.lang.AssertionError: Unexpected IR element found during code generation. Either code generation for it is not implemented, or it should have been lowered:
+// FUNCTION_REFERENCE 'public open fun getFoo (): @[FlexibleNullability] kotlin.String? declared in <root>.J' type=kotlin.reflect.KMutableProperty0<@[FlexibleNullability] kotlin.String?> origin=null reflectionTarget=<same>
 // WITH_STDLIB

 // MODULE: jjj
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: Fail: property.set should cause IllegalCallableAccessException
 // TARGET_BACKEND: JVM

 // WITH_REFLECT
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: in progress (delegate branch)
 // WITH_STDLIB

 import kotlin.reflect.KProperty
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: not supported in JVM IR
 // IGNORE_BACKEND: JVM_IR

 import kotlin.reflect.KProperty
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: in progress (delegate branch)
 import kotlin.reflect.KProperty

 class TypeInference {
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: Shouldn't be executed in 'remove'
 // SKIP_JDK6
 // TARGET_BACKEND: JVM
 // FULL_JDK
@@ -1,5 +1,6 @@
 // !LANGUAGE: -NoDelegationToJavaDefaultInterfaceMembers
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // FILE: Base.java
@@ -1,5 +1,6 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: UNRESOLVED_REFERENCE (declaringClass). See https://youtrack.jetbrains.com/issue/KT-49653. To be discussed.
 package test

 enum class KEnum { A }
@@ -1,5 +1,8 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: V
+// Caused by: java.util.NoSuchElementException: Sequence contains no element matching the predicate.
+// at org.jetbrains.kotlin.backend.jvm.lower.MappedEnumWhenLowering.visitClassNew(MappedEnumWhenLowering.kt:232)
 // FILE: E.java
 public enum E {
    A();
@@ -1,5 +1,6 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature (see https://youtrack.jetbrains.com/issue/KT-37591). UNRESOLVED_REFERENCE at '+'
 // WITH_STDLIB
 // MODULE: lib
 // FILE: lib.kt
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: UNRESOLVED_REFERENCE at getFun. Questionable syntax
 var result = ""

 fun getReceiver() : Int {
@@ -1,7 +1,7 @@
 // !LANGUAGE: -ApproximateIntegerLiteralTypesInReceiverPosition
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
-// For reasons this test is ignored, go to KT-46419
+// FIR status: don't support legacy feature; for reasons this test is ignored, go to KT-46419
 // SKIP_JDK6
 // FULL_JDK

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: FUNCTION_EXPECTED after 1. . Questionable syntax
 val foo1 = fun Any.(): String {
 return  "239" + this
 }
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: FUNCTION_EXPECTED after 1. . Questionable syntax
 fun Any.foo1() : ()-> String {
  return { "239" + this }
 }
@@ -1,5 +1,6 @@
 // !LANGUAGE: +ProperIeee754Comparisons
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: Fail 1: other

 fun testF(x: Any) =
    when (x) {
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: don't support legacy feature; questionable test, probably should not support.
 // Currently fails because prefix increment only calls getter once.
 var log = ""

@@ -1,6 +1,6 @@
 // WITH_STDLIB
 // IGNORE_BACKEND_FIR: JVM_IR
-
+// FIR status: NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER on buildList calls (E)
@OptIn(ExperimentalStdlibApi::class)
 fun foo1() {
    buildList {
@@ -1,6 +1,7 @@
 // WITH_STDLIB
 // IGNORE_BACKEND: WASM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: ARGUMENT_TYPE_MISMATCH at contribute arguments
 // TARGET_BACKEND: JVM

 import kotlin.experimental.ExperimentalTypeInference
@@ -1,6 +1,7 @@
 // !LANGUAGE: +UnrestrictedBuilderInference
 // WITH_STDLIB
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER on select call (K)

 fun <R> select(vararg x: R) = x[0]
 fun <K> myEmptyList(): List<K> = emptyList()
@@ -1,5 +1,6 @@
 // WITH_STDLIB
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: in progress (delegate branch)

 public inline fun <R, C : MutableCollection<in R>> flatMapTo1(destination: C, transform: (List<String>) -> Iterable<R>) {}

@@ -1,6 +1,7 @@
 // IGNORE_BACKEND: WASM
 // !LANGUAGE: +UnrestrictedBuilderInference
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER on lazy call (Name3, T)
 // WITH_STDLIB

 internal class TowerDataElementsForName() {
@@ -1,5 +1,6 @@
 // DONT_TARGET_EXACT_BACKEND: WASM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER on buildList call (E)
 // WITH_STDLIB

 class TowerDataElementsForName() {
@@ -1,5 +1,6 @@
 // DONT_TARGET_EXACT_BACKEND: WASM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: in progress (delegate branch)
 // WITH_STDLIB

 import kotlin.experimental.ExperimentalTypeInference
@@ -2,7 +2,7 @@
 // !DIAGNOSTICS: -DEPRECATION -OPT_IN_IS_NOT_ENABLED
 // WITH_STDLIB
 // IGNORE_BACKEND_FIR: JVM_IR
-
+// FIR status: NONE_APPLICABLE at all equals calls
 import kotlin.experimental.ExperimentalTypeInference

 interface TestInterface<R> {
@@ -2,6 +2,7 @@
 // WITH_STDLIB
 // !DIAGNOSTICS: -OPT_IN_USAGE_ERROR -CAST_NEVER_SUCCEEDS
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: Initializer type mismatch at first val x = : expected kotlin/collections/MutableList<kotlin/CharSequence>, actual kotlin/collections/MutableList<kotlin/String>

 import kotlin.experimental.ExperimentalTypeInference

@@ -1,5 +1,6 @@
 // WITH_STDLIB
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER on buildMap call (K)
 // !LANGUAGE: +UseBuilderInferenceWithoutAnnotation

 fun <K, V> buildMap(builderAction: MutableMap<K, V>.() -> Unit): Map<K, V> = mapOf()
@@ -1,6 +1,7 @@
 // WITH_REFLECT
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: KotlinNothingValueException from create()

 fun <T : A> create(modelClass: Class<T>): T {
    return if (modelClass.isAssignableFrom(B::class.java)) {
@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: not supported in JVM
 // IGNORE_BACKEND: JVM
 // IGNORE_BACKEND: JVM_IR
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: AE: Argument 1: expected R, but found I at INVOKEINTERFACE Sam.get
 // JVM_TARGET: 1.8
 // SAM_CONVERSIONS: INDY

@@ -8,7 +8,7 @@
 // 1 java/lang/invoke/LambdaMetafactory

 // IGNORE_BACKEND_FIR: JVM_IR
-//  ^ OVERLOAD_RESOLUTION_AMBIGUITY: Overload resolution ambiguity between candidates: [kotlin/collections/plus, kotlin/collections/plus]
+// FIR status: OVERLOAD_RESOLUTION_AMBIGUITY: Overload resolution ambiguity between candidates: [kotlin/collections/plus, kotlin/collections/plus]

 // FILE: multifileClassMemberFromStdlib.kt

@@ -2,7 +2,7 @@
 // IGNORE_BACKEND: ANDROID
 //  ^ uses API not implemented on minSdkVersion 19
 // IGNORE_BACKEND_FIR: JVM_IR
-//  ^ fir2ir creates an IrConst(value=2, type=@EnhancedNullability Int), which
+// FIR status: fir2ir creates an IrConst(value=2, type=@EnhancedNullability Int), which
 //    the backend generates as an int instead of Integer
 // WITH_STDLIB
 // JVM_TARGET: 1.8
@@ -1,6 +1,6 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
-//  ^ TODO decide if we want to fix KT-42020 for FIR as well
+// FIR status: validation failed. TODO decide if we want to fix KT-42020 for FIR as well

 open class Base<T> {
    fun foo(x: T) = "x:$x"
@@ -4,7 +4,7 @@
 // IGNORE_BACKEND: JS_IR
 // IGNORE_BACKEND: JS_IR_ES6
 // IGNORE_BACKEND_FIR: JVM_IR
-// ^ FIR doesn't support actualization in same module
+// FIR status: expect/actual in the same module (ACTUAL_WITHOUT_EXPECT)
 // MODULE: lib
 // FILE: common.kt

@@ -5,6 +5,7 @@
 // IGNORE_BACKEND: JS_IR_ES6
 // IGNORE_BACKEND: NATIVE
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: validation failed. TODO decide if we want to fix KT-42020 for FIR as well
 // MODULE: lib
 // FILE: lib.kt

@@ -1,4 +1,5 @@
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: ARGUMENT_TYPE_MISMATCH at ok.z(fail), actual String, expected T
 // MODULE: lib
 // FILE: l1.kt

@@ -1,5 +1,6 @@
 // !JVM_DEFAULT_MODE: all-compatibility
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: failK
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // !JVM_DEFAULT_MODE: all-compatibility
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: failK
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // CHECK_BYTECODE_LISTING
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: questionable bytecode listing difference (open/final methods in final class)
 // !JVM_DEFAULT_MODE: all-compatibility
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
@@ -1,5 +1,6 @@
 // !JVM_DEFAULT_MODE: enable
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: failK
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // !JVM_DEFAULT_MODE: enable
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: failK
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // !JVM_DEFAULT_MODE: all
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: failK
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // !JVM_DEFAULT_MODE: all
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: failK
 // TARGET_BACKEND: JVM
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: fail: method nonOverride was found in class DerivedClass
 // FULL_JDK
 // JVM_TARGET: 1.8
 // WITH_STDLIB
@@ -1,5 +1,6 @@
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
+// FIR status: NCDFE: Foo$DefaultImpls
 // FULL_JDK
 // JVM_TARGET: 1.8
 // WITH_STDLIB
--- a/Show More
+++ b/Show More