diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/IDEA84533.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/IDEA84533.java
new file mode 100644
index 000000000000..23c27ee1b0ee
--- /dev/null
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/IDEA84533.java
@@ -0,0 +1,19 @@
+public class Main {
+    static class A {}
+    static class B extends A {}
+    static class X<T> { }
+    static class Y<T> extends X<T> { }
+
+    private void test1(X<B> x) {
+        Y<A> y = <error descr="Inconvertible types; cannot cast 'Main.X<Main.B>' to 'Main.Y<Main.A>'">(Y<A>) x</error>;
+    }
+
+    private void test2(X<A> x) {
+        Y<A> y = (Y<A>) x;
+    }
+
+    private void test3(Y<B> y1) {
+        @SuppressWarnings("unchecked")
+        Y<A> y2 = <error descr="Inconvertible types; cannot cast 'Main.Y<Main.B>' to 'Main.Y<Main.A>'">(Y<A>) y1</error>;
+    }
+}
diff --git a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/LightAdvHighlightingJdk7Test.java b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/LightAdvHighlightingJdk7Test.java
index 55a041c9e77c..b5c0c7d8ae7e 100644
--- a/java/java-tests/testSrc/com/intellij/codeInsight/daemon/LightAdvHighlightingJdk7Test.java
+++ b/java/java-tests/testSrc/com/intellij/codeInsight/daemon/LightAdvHighlightingJdk7Test.java
@@ -302,4 +302,7 @@ public class LightAdvHighlightingJdk7Test extends LightDaemonAnalyzerTestCase {
   public void testExtendsBound() throws Exception {
     doTest(false, false);
   }
+
+  public void testIDEA84533() throws Exception { doTest(false, false); }
 }
+