eleminate wildcards in extends/implements lists (IDEA-82093)

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

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

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

@@ -0,0 +1,20 @@
+// "Make 'a' implement 'b'" "true"
+interface b<T> {
+    void f(T t);
+}
+
+class a implements b<Integer> {
+    public void f(Integer integer) {
+        
+    }
+}
+
+class X {
+    void h(b<? super Integer> i) {
+
+    }
+
+    void g() {
+        h(new a());
+    }
+}

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

@@ -0,0 +1,16 @@
+// "Make 'a' implement 'b'" "true"
+interface b<T> {
+    void f(T t);
+}
+
+class a {}
+
+class X {
+    void h(b<? super Integer> i) {
+
+    }
+
+    void g() {
+        h(new a<caret>());
+    }
+}