Bug 97303

Description David Saff 2005-05-30 12:12:41 EDT

Against I20050527-1300.

Consider the following code:

>>>>>
package dj.test;

import java.util.Arrays;
import java.util.List;

import junit.framework.TestCase;

public class Deejay extends TestCase {
	class Counter<T> {
	}

	Counter<Song> songCounter = new Counter<Song>();

	Counter<Genre> genreCounter = new Counter<Genre>();

	List<Counter<?>> list1 = Arrays.asList(songCounter, genreCounter);
	List<Counter<? extends Object>> list2 = Arrays.asList(songCounter, genreCounter);
	List<Counter<?>> list3 = Arrays.<Counter<?>>asList(songCounter, genreCounter);
	List<Counter<?>> list4 = Arrays.asList(new Counter<?>[] {songCounter,
genreCounter});
}

class Genre {
}

class Song {
}
<<<<<

list1: compile error: Type mismatch: cannot convert from List<Deejay.Counter<?
extends Object>> to List<Deejay.Counter<?>>
list2: compile error: Type mismatch: cannot convert from List<Deejay.Counter<?
extends Object>> to List<Deejay.Counter<? extends Object>>
list3: fine
list4: fine

Changing Counter to static has no effect.  However, moving it out of Deejay
fixes the compile errors.  There's something about inner parameterized types
that causes the above type mismatches.