Description Kent Johnson 2009-02-13 13:40:08 EST

We currently report unchecked conversion warnings in 6 of these cases.

But the methods in C do not need a warning since A is a raw type.

class A<U extends Number> {
	<T extends Number> U a() { return null; }
	<T> T x() { return null; }
	<T extends Number> T y() { return null; }
	<T extends Integer> T z() { return null; }
}
class B extends A<Double> {
	@Override Double a() { return 1.0; }
	@Override Integer x() { return 1; }
	@Override Integer y() { return 1; }
	@Override Integer z() { return 1; }
}
class C extends A {
	@Override Double a() { return 1.0; }
	@Override Integer x() { return 1; } // incorrect
	@Override Integer y() { return 1; } // incorrect
	@Override Integer z() { return 1; } // incorrect
}