diff --git a/compiler/testData/codegen/box/inference/builderInference/changingResolveIfDontUseBuilderInferenceDisabledFeature.kt b/compiler/testData/codegen/box/inference/builderInference/changingResolveIfDontUseBuilderInferenceDisabledFeature.kt
index 36fe03dcf32..55622619d25 100644
--- a/compiler/testData/codegen/box/inference/builderInference/changingResolveIfDontUseBuilderInferenceDisabledFeature.kt
+++ b/compiler/testData/codegen/box/inference/builderInference/changingResolveIfDontUseBuilderInferenceDisabledFeature.kt
@@ -1,5 +1,7 @@
 // WITH_STDLIB
 // !LANGUAGE: -UseBuilderInferenceOnlyIfNeeded
+// IGNORE_BACKEND_K2: ANY
+// FIR status: K2 is not intended to handle properly disabling the feature introduced at 1.6
 
 import kotlin.experimental.ExperimentalTypeInference
 
diff --git a/compiler/testData/diagnostics/testsWithStdLib/builderInference/unsafeAssignment_noReport.fir.txt b/compiler/testData/diagnostics/testsWithStdLib/builderInference/unsafeAssignment_noReport.fir.txt
index a10aa789b19..bdc1a8e5c4f 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/builderInference/unsafeAssignment_noReport.fir.txt
+++ b/compiler/testData/diagnostics/testsWithStdLib/builderInference/unsafeAssignment_noReport.fir.txt
@@ -19,11 +19,11 @@ FILE: unsafeAssignment_noReport.fir.kt
         lval x: R|kotlin/Int| = Int(57)
         lval value: R|Foo<kotlin/Any>| = R|/myBuilder|<R|kotlin/Any|>(<L> = myBuilder@fun R|Foo<kotlin/Any>|.<anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
             this@R|special/anonymous|.R|SubstitutionOverride</Foo.doSmthng: R|kotlin/Unit|>|(String(one ))
-            this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|Stub (chain inference): TypeVariable(T)?|>| = Int(57)
-            this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|Stub (chain inference): TypeVariable(T)?|>| = R|<local>/x|
+            this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|kotlin/Any?|>| = Int(57)
+            this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|kotlin/Any?|>| = R|<local>/x|
             when () {
                 (R|<local>/arg| is R|kotlin/String|) ->  {
-                    this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|Stub (chain inference): TypeVariable(T)?|>| = R|<local>/arg|
+                    this@R|special/anonymous|.R|SubstitutionOverride</Foo.a: R|kotlin/Any?|>| = R|<local>/arg|
                 }
             }
 
diff --git a/compiler/testData/diagnostics/testsWithStdLib/builderInference/upperBoundViolation_noReporting.fir.kt b/compiler/testData/diagnostics/testsWithStdLib/builderInference/upperBoundViolation_noReporting.fir.kt
new file mode 100644
index 00000000000..fd2c1e1f9f7
--- /dev/null
+++ b/compiler/testData/diagnostics/testsWithStdLib/builderInference/upperBoundViolation_noReporting.fir.kt
@@ -0,0 +1,10 @@
+// !LANGUAGE: +NoAdditionalErrorsInK1DiagnosticReporter
+// ISSUE: KT-55055
+fun <T : Number> printGenericNumber(t: T) = println("Number is $t")
+
+fun main() {
+    buildList { // inferred into MutableList<String>
+        add("Boom")
+        <!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>printGenericNumber<!>(<!ARGUMENT_TYPE_MISMATCH!>this[0]<!>)
+    }
+}
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/testsWithStdLib/builderInference/upperBoundViolation_noReporting.kt b/compiler/testData/diagnostics/testsWithStdLib/builderInference/upperBoundViolation_noReporting.kt
index 787db971da7..9c7d956367e 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/builderInference/upperBoundViolation_noReporting.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/builderInference/upperBoundViolation_noReporting.kt
@@ -1,4 +1,3 @@
-// FIR_IDENTICAL
 // !LANGUAGE: +NoAdditionalErrorsInK1DiagnosticReporter
 // ISSUE: KT-55055
 fun <T : Number> printGenericNumber(t: T) = println("Number is $t")