diff --git a/compiler/testData/codegen/box/inference/kt47316.kt b/compiler/testData/codegen/box/inference/kt47316.kt
index 72514086857..0c93ef24ce5 100644
--- a/compiler/testData/codegen/box/inference/kt47316.kt
+++ b/compiler/testData/codegen/box/inference/kt47316.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProperTypeInferenceConstraintsProcessing
 // TARGET_BACKEND: JVM
 // IGNORE_BACKEND_FIR: JVM_IR
 
diff --git a/compiler/testData/diagnostics/tests/typeParameters/kt42042.fir.kt b/compiler/testData/diagnostics/tests/typeParameters/kt42042.fir.kt
index cc6fee6ab05..4a8545abc97 100644
--- a/compiler/testData/diagnostics/tests/typeParameters/kt42042.fir.kt
+++ b/compiler/testData/diagnostics/tests/typeParameters/kt42042.fir.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProperTypeInferenceConstraintsProcessing
 sealed class Subtype<A1, B1> {
     abstract fun cast(value: A1): B1
     class Trivial<A2 : B2, B2> : Subtype<A2, B2>() {
diff --git a/compiler/testData/diagnostics/tests/typeParameters/kt42042.kt b/compiler/testData/diagnostics/tests/typeParameters/kt42042.kt
index 750ae8e26bd..0780b78731d 100644
--- a/compiler/testData/diagnostics/tests/typeParameters/kt42042.kt
+++ b/compiler/testData/diagnostics/tests/typeParameters/kt42042.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProperTypeInferenceConstraintsProcessing
 sealed class Subtype<A1, B1> {
     abstract fun cast(value: A1): B1
     class Trivial<A2 : B2, B2> : Subtype<A2, B2>() {