simlify ? super ? wildcard (IDEA-63765)

java/java-psi-api/src/com/intellij/psi/util/TypesDistinctProver.java

@@ -40,7 +40,8 @@ public class TypesDistinctProver {
       }
 
       if (type2 instanceof PsiCapturedWildcardType) {
-        return provablyDistinct((PsiWildcardType)type1, ((PsiCapturedWildcardType)type2).getWildcard());
+        return ((PsiWildcardType)type1).isExtends() ||
+               provablyDistinct((PsiWildcardType)type1, ((PsiCapturedWildcardType)type2).getWildcard());
       }
 
       if (type2 instanceof PsiClassType) {

java/java-psi-impl/src/com/intellij/psi/impl/PsiSubstitutorImpl.java

@@ -156,6 +156,7 @@ public class PsiSubstitutorImpl implements PsiSubstitutor {
           if (wildcardType.isExtends() != wildcard.isExtends()) {
             return wildcard.isBounded() ? PsiWildcardType.createUnbounded(wildcardType.getManager()) : newBound;
           }
+          if (!wildcard.isBounded()) return PsiWildcardType.createUnbounded(wildcardType.getManager());
         }
 
         return PsiWildcardType.changeBound(wildcardType, newBound);

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlighting7/ClassLiteral.java

@@ -2,6 +2,7 @@ import java.lang.reflect.*;
 
 class Example {
     private void demo() {
-        <error descr="Cannot resolve symbol 'TypeVariable'">TypeVariable</error><Class<? extends Example>>[]  typeParameters  =  getClass().getTypeParameters();
+        <error descr="Incompatible types. Found: 'java.lang.reflect.TypeVariable<java.lang.Class<capture<? extends Example>>>[]', required: 'java.lang.reflect.TypeVariable<java.lang.Class<? extends Example>>[]'">TypeVariable<Class<? extends Example>>[]  typeParameters  =  getClass().getTypeParameters();</error>
+        Object typeParameters1  =  <error descr="Inconvertible types; cannot cast 'java.lang.reflect.TypeVariable<java.lang.Class<capture<? extends Example>>>[]' to 'java.lang.reflect.TypeVariable<java.lang.Class<? extends Example>>[]'">(TypeVariable<Class<? extends Example>>[]) getClass().getTypeParameters()</error>;
     }
 }

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

@@ -45,7 +45,7 @@ class AllPredicate<T>
     }
 
     public static void foo(SortedMap<?, ?> sourceSortedMap) {
-        new TreeMap<Object, Object>(<warning descr="Unchecked cast: 'java.util.Comparator<capture<? super capture<?>>>' to 'java.util.Comparator<? super java.lang.Object>'">(Comparator<? super Object>) sourceSortedMap.comparator()</warning>);
+        new TreeMap<Object, Object>(<warning descr="Unchecked cast: 'java.util.Comparator<capture<?>>' to 'java.util.Comparator<? super java.lang.Object>'">(Comparator<? super Object>) sourceSortedMap.comparator()</warning>);
     }
 }