composition of extends/super wildcard should get just its bound (IDEA-96721)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/WildcardsBoundsIntersection.java

@@ -0,0 +1,15 @@
+class NodeProperty<A, B> {}
+
+class NodeType {}
+class NumberExpression extends NodeType {}
+class Node<NodeTypeT extends NodeType> {
+    public <ValueT> ValueT get(NodeProperty<? super NodeTypeT, ValueT> prop) {
+        return null;
+    }
+}
+
+class Main {
+    public static void main(NodeProperty<NumberExpression, Integer> nval,  Node<? extends NodeType> expr) {
+        int val = expr.get<error descr="'get(NodeProperty<NodeType,java.lang.Integer>)' in 'Node' cannot be applied to '(NodeProperty<NumberExpression,java.lang.Integer>)'">(nval)</error>;
+    }
+}

java/java-tests/testSrc/com/intellij/codeInsight/daemon/GenericsHighlightingTest.java

@@ -205,6 +205,7 @@ public class GenericsHighlightingTest extends LightDaemonAnalyzerTestCase {
   public void testInstanceClassInStaticContextAccess() throws Exception { doTest17Incompatibility(false); }
   public void testFlattenIntersectionType() throws Exception { doTest17Incompatibility(false); }
   public void testIDEA97276() throws Exception { doTest17Incompatibility(false); }
+  public void testWildcardsBoundsIntersection() throws Exception { doTest17Incompatibility(false); }
 
   public void testJavaUtilCollections_NoVerify() throws Exception {
     PsiClass collectionsClass = getJavaFacade().findClass("java.util.Collections", GlobalSearchScope.moduleWithLibrariesScope(getModule()));