Здравствуйте, aka50, Вы писали:

>Filter<A> и Filter<B> это разные несовместимые типы

а Filter<? extends A> и Filter<B> разные типы?

public static void main(String[] args) {

    //почему это работает
    List<? extends A> list = new ArrayList<B>();

    //а это нет: error{
    //clean(java.lang.Iterable<T>,Filter<T>) in Main cannot be applied to 
    //(java.util.List<capture#995 of ? extends A>,MyFilter<B>)
    clean(list, new MyFilter<B>());
    }
}

A>дадим один фейковый параметр, из которого компилятор может попытаться вывести тип:

где об этом можно почитать?