extends type parameter: allow wildcards (IDEA-162229)

java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/quickfix/ExtendsListFix.java

@@ -52,7 +52,7 @@ public class ExtendsListFix extends LocalQuickFixAndIntentionActionOnPsiElement
     super(aClass);
     myClassToExtendFrom = classToExtendFrom;
     myToAdd = toAdd;
-    myTypeToExtendFrom = (PsiClassType)GenericsUtil.eliminateWildcards(typeToExtendFrom);
+    myTypeToExtendFrom = aClass instanceof PsiTypeParameter ? typeToExtendFrom : (PsiClassType)GenericsUtil.eliminateWildcards(typeToExtendFrom);
 
     @NonNls final String messageKey;
     if (classToExtendFrom != null && aClass.isInterface() == classToExtendFrom.isInterface()) {

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/changeParameterClass/afterWildcardInTypeParameterBound.java

@@ -0,0 +1,7 @@
+// "Make 'T' extend 'java.lang.Enum'" "true"
+
+class EnumGeneric<T extends Enum<?>> {
+}
+
+class WithEnum<T extends Enum<?>> extends EnumGeneric<T> {
+}

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/changeParameterClass/beforeWildcardInTypeParameterBound.java

@@ -0,0 +1,7 @@
+// "Make 'T' extend 'java.lang.Enum'" "true"
+
+class EnumGeneric<T extends Enum<?>> {
+}
+
+class WithEnum<T> extends EnumGeneric<<caret>T> {
+}