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");