From 6d9327a71fcc72a6663fb55077e3b68cc88aa190 Mon Sep 17 00:00:00 2001
From: "Anna.Kozlova" <anna.kozlova@jetbrains.com>
Date: Fri, 13 Oct 2017 11:53:46 +0200
Subject: [PATCH] lvti: additional test data for projections

---
 .../advLVTI/UpwardProjection.java             | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

diff --git a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advLVTI/UpwardProjection.java b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advLVTI/UpwardProjection.java
index 9fd49ebf0422..00f2bc704b2b 100644
--- a/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advLVTI/UpwardProjection.java
+++ b/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advLVTI/UpwardProjection.java
@@ -34,13 +34,26 @@ class Main {
         e[0].add<error descr="'add(capture<? extends java.lang.String>)' in 'X' cannot be applied to '(java.lang.String)'">("")</error>;
     }
 
+    void fooHierarchy(X<? extends B, A> x) {
+        var y = x;
+        y = new X<B, A>();
+        y = new X<C, A>();
+
+        A a = y.get();
+        B b = y.get();
+        <error descr="Incompatible types. Found: 'capture<? extends B>', required: 'C'">C c = y.get();</error>
+    }
 
     <M> M[] m(M m) {
         return null;
     }
 }
 
-abstract class X<T extends S, S> {
-    abstract T get();
-    abstract void add(T t);
+class A {}
+class B extends A {}
+class C extends B {}
+
+class X<T extends S, S> {
+    T get() {return null;}
+    void add(T t) {}
 }
\ No newline at end of file