Description Wouter Coekaerts 2008-12-24 08:38:52 EST

Build ID: M20080911-1700

Steps To Reproduce:
Create a class inside a method with a type parameter with a bound. Create a subclass of this class, using a type parameter that does not extends the bound.
This code should not compile, but in Eclipse it does.
Example:
public class BoundNotChecked {
	public static void main(String... args) {
		class SuperclassZom<T extends Number> {
			public T t;
		}
		class Subclass extends SuperclassZom<String> {
		}
		
		new Subclass().t="test";
	}
}

Trying to run this code gives a java.lang.VerifyError



More information:
The bound is properly checked if the classes are just inner classes of the class; outside the method.