Description Rémi Forax 2009-08-25 15:44:00 EDT

Build ID: I20090806-1400

Steps To Reproduce:
1. Eclipse doesn't report an unsafe cast with the following snippet 
   (from http://www.dzone.com/links/two_java_typesystem_holes.html)
   The cast in getOtherElement should generates an unsafe cast warning.

class Outer<E> {
  Inner inner;

  class Inner {
    E e;

    E getOtherElement(Object other) {
      if (!(other instanceof Outer.Inner)) {
        throw new IllegalArgumentException(String.valueOf(other));
      }

      Inner that = (Inner) other;
      return that.e;
    }
  }

  public static void main(String[] args) {
    Outer<String> s = new Outer<String>();
    s.inner = s.new Inner();
    s.inner.e = "hello";

    Outer<Integer> i = new Outer<Integer>();
    i.inner = i.new Inner();
    i.inner.e = 1234;

    String producesClassCast = s.inner.getOtherElement(i.inner);
  }
}

More information:
javac 1.6 doesn't raise this warning too, but javac 1.7 does.

Rémi