openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/IDEA57508.java

import java.util.List;

abstract class X {
  abstract <T> void copy(List<T> dest, List<? extends T> src);

  void foo(List<?> x, List<?> y){
    copy<error descr="'copy(java.util.List<capture<?>>, java.util.List<capture<?>>)' in 'X' cannot be applied to '(java.util.List<capture<?>>, java.util.List<capture<?>>)'">(x, y)</error>;
  }
}