From 0cccb76652a4d2a1f0077a4d58c629d9d64d4141 Mon Sep 17 00:00:00 2001
From: Mikhael Bogdanov <mikhael.bogdanov@jetbrains.com>
Date: Tue, 20 Jul 2021 13:22:25 +0200
Subject: [PATCH] Update tests affected by
 `ProperTypeInferenceConstraintsProcessing` feature

---
 compiler/testData/codegen/box/inference/kt47316.kt               | 1 +
 .../testData/diagnostics/tests/typeParameters/kt42042.fir.kt     | 1 +
 compiler/testData/diagnostics/tests/typeParameters/kt42042.kt    | 1 +
 3 files changed, 3 insertions(+)

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>() {