From a39d2bc24f28b70f5ca15ca68257e23003e0eb9d Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Mon, 30 Jun 2014 17:42:20 +0400
Subject: [PATCH] Failing test isolated

---
 .../tests/platformTypes/inference.kt          | 24 +++++++++++++++++++
 .../checkers/JetDiagnosticsTestGenerated.java |  6 +++++
 2 files changed, 30 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/platformTypes/inference.kt

diff --git a/compiler/testData/diagnostics/tests/platformTypes/inference.kt b/compiler/testData/diagnostics/tests/platformTypes/inference.kt
new file mode 100644
index 00000000000..e6d92367cbc
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/platformTypes/inference.kt
@@ -0,0 +1,24 @@
+// FILE: foo/Base.java
+
+package foo;
+
+public interface Base<T> {}
+
+// FILE: foo/HS.java
+
+package foo;
+
+public class HS<T> extends Base<T> {}
+
+// FILE: k.kt
+
+import foo.*;
+
+import java.util.HashSet
+fun <T, C: Base<T>> convert(src: HS<T>, dest: C): C = throw Exception("$src $dest")
+
+fun test(l: HS<Int>) {
+    //todo should be inferred
+    val r = <!TYPE_INFERENCE_UPPER_BOUND_VIOLATED!>convert<!>(l, <!TYPE_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>HS<!>())
+    <!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>r<!>: Int
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
index 96c2cd25387..d1a658be71b 100644
--- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
@@ -7707,6 +7707,12 @@ public class JetDiagnosticsTestGenerated extends AbstractJetDiagnosticsTest {
                 doTest(fileName);
             }
             
+            @TestMetadata("inference.kt")
+            public void testInference() throws Exception {
+                String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/platformTypes/inference.kt");
+                doTest(fileName);
+            }
+            
             @TestMetadata("safeCall.kt")
             public void testSafeCall() throws Exception {
                 String fileName = JetTestUtils.navigationMetadata("compiler/testData/diagnostics/tests/platformTypes/safeCall.kt");