From f57c2243d7206d46df7c2bfc1da3dc3d2ea2dc21 Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Tue, 23 Oct 2012 19:22:25 +0200
Subject: [PATCH] testdata for IDEA-57494

---
 .../genericsHighlighting/IDEA57494.java          | 16 ++++++++++++++++
 .../daemon/GenericsHighlightingTest.java         |  1 +
 2 files changed, 17 insertions(+)
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57494.java

diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57494.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57494.java
new file mode 100644
index 000000000000..c70182f4c1a8
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57494.java
@@ -0,0 +1,16 @@
+import java.util.*;
+abstract class A {
+    abstract <T> T baz(List<? super List<? super T>> a);
+
+    void bar(List<List<?>> x){
+        String s = baz(x);
+    }
+}
+
+abstract class A1{
+    abstract <T> T baz(List<? super T> a);
+
+    void bar(List<?> x){
+        String o = baz<error descr="'baz(java.util.List<? super java.lang.String>)' in 'A1' cannot be applied to '(java.util.List<capture<?>>)'">(x)</error>;
+    }
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
index d77959e48641..2e2c97728c44 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
@@ -168,6 +168,7 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
   public void testIDEA57492() throws Exception { doTest(false); }
   public void testIDEA57493() throws Exception { doTest(false); }
   public void testIDEA57495() throws Exception { doTest(false); }
+  public void testIDEA57494() throws Exception { doTest(false); }
   public void testInconvertibleTypes() throws Exception { doTest(false); }
   public void testIncompatibleReturnType() throws Exception { doTest(false); }
   public void testContinueInferenceAfterFirstRawResult() throws Exception { doTest(false); }