From faca3a20d6e14c79e26d920adbb91ac6913fe99a Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Tue, 23 Oct 2012 18:53:07 +0200
Subject: [PATCH] testdata for IDEA-57509

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

diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57509.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57509.java
new file mode 100644
index 000000000000..8015fb5f8a99
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57509.java
@@ -0,0 +1,9 @@
+import java.util.List;
+
+abstract class X {
+    abstract <T> void copy(List<T> dest, List<? extends T> src);
+
+    void foo(List<? super Throwable> x, List<? extends Exception> y){
+        copy(x, y);
+    }
+}
\ 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 c0532abbcfcc..8b8bb89b235f 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
@@ -159,6 +159,7 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
   public void testIDEA57563() throws Exception { doTest(false); }
   public void testIDEA57275() throws Exception { doTest(false); }
   public void testIDEA57533() throws Exception { doTest(false); }
+  public void testIDEA57509() 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); }