diff --git a/compiler/testData/codegen/box/inference/kt42042.kt b/compiler/testData/codegen/box/inference/kt42042.kt
index 9d612f9f325..729522b42ee 100644
--- a/compiler/testData/codegen/box/inference/kt42042.kt
+++ b/compiler/testData/codegen/box/inference/kt42042.kt
@@ -1,3 +1,5 @@
+// !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/codegen/box/inference/violatingUpperBoundForSelfType.kt b/compiler/testData/codegen/box/inference/violatingUpperBoundForSelfType.kt
index 1dda58502db..6a4a4342459 100644
--- a/compiler/testData/codegen/box/inference/violatingUpperBoundForSelfType.kt
+++ b/compiler/testData/codegen/box/inference/violatingUpperBoundForSelfType.kt
@@ -1,3 +1,4 @@
+// !LANGUAGE: -ProperTypeInferenceConstraintsProcessing
 // TARGET_BACKEND: JVM
 // WITH_RUNTIME
 // !DIAGNOSTICS: -UNUSED_PARAMETER -CAST_NEVER_SUCCEEDS