From 05ae98b10de1deb4fc14652f7533c00d0cf502fe Mon Sep 17 00:00:00 2001
From: Anna Kozlova <anna.kozlova@jetbrains.com>
Date: Thu, 3 Sep 2015 20:58:31 +0300
Subject: [PATCH] testdata for IDEA-93713

---
 .../genericsHighlighting8/IDEA93713.java          | 15 +++++++++++++++
 .../daemon/lambda/GenericsHighlighting8Test.java  |  4 ++++
 2 files changed, 19 insertions(+)
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA93713.java

diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA93713.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA93713.java
new file mode 100644
index 000000000000..9aa1396b631d
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting8/IDEA93713.java
@@ -0,0 +1,15 @@
+class Bug<A, B extends A> {
+  <X, Y extends X> void f1(Bug<X, Y> b) {}
+
+  void f2(Bug<?, ?> b) {
+    f1(b);
+  }
+}
+
+class Bug1<A, B> {
+  <X, Y extends X> void f1(Bug1<X, Y> b) {}
+
+  void f2(Bug1<?, ?> b) {
+    <error descr="Inferred type 'capture<?>' for type parameter 'Y' is not within its bound; should extend 'capture<?>'">f1(b)</error>;
+  }
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GenericsHighlighting8Test.java b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
index f177fbcb4aad..c84e03c54417 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/lambda/GenericsHighlighting8Test.java
@@ -861,4 +861,8 @@ public class GenericsHighlighting8Test extends LightDaemonAnalyzerTestCase {
   public void testIDEA67592() throws Exception {
     doTest();
   }
+
+  public void testIDEA93713() throws Exception {
+    doTest();
+  }
 }