From 767729ba2adc34234b023bfb6d5c6a1168b95183 Mon Sep 17 00:00:00 2001
From: Mikhail Glukhikh <Mikhail.Glukhikh@jetbrains.com>
Date: Thu, 28 Jan 2016 16:39:53 +0300
Subject: [PATCH] Regression test #KT-9633 Obsolete

---
 compiler/testData/diagnostics/tests/regressions/kt9633.kt  | 2 ++
 compiler/testData/diagnostics/tests/regressions/kt9633.txt | 7 +++++++
 .../kotlin/checkers/DiagnosticsTestGenerated.java          | 6 ++++++
 3 files changed, 15 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/regressions/kt9633.kt
 create mode 100644 compiler/testData/diagnostics/tests/regressions/kt9633.txt

diff --git a/compiler/testData/diagnostics/tests/regressions/kt9633.kt b/compiler/testData/diagnostics/tests/regressions/kt9633.kt
new file mode 100644
index 00000000000..69bb82c7e86
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/regressions/kt9633.kt
@@ -0,0 +1,2 @@
+// KT-9633: SOE occurred before
+interface A<<!FINITE_BOUNDS_VIOLATION!>T : A<in T><!>>
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/tests/regressions/kt9633.txt b/compiler/testData/diagnostics/tests/regressions/kt9633.txt
new file mode 100644
index 00000000000..0017ac3a2f2
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/regressions/kt9633.txt
@@ -0,0 +1,7 @@
+package
+
+public interface A</*0*/ T : A<in T>> {
+    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+}
diff --git a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
index 92894039103..f5f5b4635f7 100644
--- a/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java
@@ -13860,6 +13860,12 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTest {
                 doTest(fileName);
             }
 
+            @TestMetadata("kt9633.kt")
+            public void testKt9633() throws Exception {
+                String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/regressions/kt9633.kt");
+                doTest(fileName);
+            }
+
             @TestMetadata("kt9682.kt")
             public void testKt9682() throws Exception {
                 String fileName = KotlinTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/regressions/kt9682.kt");