Description Isaac Pacht 2011-01-18 14:24:57 EST

Build Identifier: M20100211-1343

The Eclipse compiler reports a warning ("Type safety: Unchecked cast from ArrayList<Interface> to ArrayList<? extends Implementation>") when compiling the code shown below.  The Sun and IBM compilers report an error in this case.  It would seem that it is correct to give an error, since the source type is not a raw type, this is not a valid unchecked conversion.

Reproducible: Always

Steps to Reproduce:
1. Create a java project

2. Create a class with the following contents

import java.util.ArrayList;

public class Main {
	public static void main(String[] args) {
		Object x = (ArrayList<? extends Implementation>) new ArrayList<Interface>();
	}
}

interface Interface {
}

class Implementation implements Interface {
}


3. Note that the compiler reports a warning on the cast, not an error