From 5f53a2071d148013a10b320bc4191cf1557e0f18 Mon Sep 17 00:00:00 2001
From: Mikhael Bogdanov <mikhael.bogdanov@jetbrains.com>
Date: Thu, 1 Jul 2021 10:48:05 +0200
Subject: [PATCH] Update test affected by
 `ProperTypeInferenceConstraintsProcessing` feature

---
 compiler/testData/codegen/box/inference/kt42042.kt              | 2 ++
 .../codegen/box/inference/violatingUpperBoundForSelfType.kt     | 1 +
 2 files changed, 3 insertions(+)

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