From 02c3e4395d4618aa379781e182cb8f4ce0aeca80 Mon Sep 17 00:00:00 2001
From: Anna Kozlova <anna.kozlova@jetbrains.com>
Date: Tue, 7 Oct 2014 14:25:26 +0200
Subject: [PATCH] testdata for IDEA-127767

---
 .../genericsHighlighting/IDEA127767.java      | 21 +++++++++++++++++++
 .../daemon/GenericsHighlightingTest.java      |  4 ++++
 2 files changed, 25 insertions(+)
 create mode 100644 java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA127767.java

diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA127767.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA127767.java
new file mode 100644
index 000000000000..42d6ecec1803
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA127767.java
@@ -0,0 +1,21 @@
+class Scratch
+{
+  public static class PredicatedProposal<T>
+  {
+    private final Discriminator<? super T> pred = null;
+
+    public Discriminator<? super T> get()
+    {
+      return this.pred;
+    }
+  }
+
+  public static interface Discriminator<T extends String> extends Predicate<T>
+  {
+
+  }
+
+  interface Predicate<T> {
+    boolean val(T t);
+  }
+}
\ 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 fde013dca76d..944e0756a3b0 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java
@@ -380,6 +380,10 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
   //jdk should propagate LL 1.4 but actually it provides LL 1.7?!
   public void testCastObjectToIntJdk14() { doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_4, false); }
 
+  public void testIDEA127767() {
+    doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, false);
+  }
+
   public void testHiddenMethodsOfAnonymousClass() throws Exception {
     doTest(LanguageLevel.JDK_1_7, JavaSdkVersion.JDK_1_7, false);
   }