Description Olivier Thomann 2005-08-12 11:49:41 EDT

The following code doesn't compile:

class Y<E> {
	void foo(E e) {
	}
}
class X {
    void method(Y<? super Object[]> y) {
        y.foo(new Object[]{});
    }
}

We report:
----------
1. ERROR in d:\tests_sources\X.java
 (at line 7)
	y.foo(new Object[]{});
	  ^^^
The method foo(capture-of ? super Object[]) in the type Y<capture-of ? super
Object[]> is not applicable for the arguments (Object[])
----------
1 problem (1 error)