Description Mauro Molinari 2008-01-25 11:27:19 EST

STEPS TO REPRO:
Create the following classes:

public class A
{
  @SuppressWarnings("unchecked")
  public B getB()
  {
    return new B<Object>();
  }
  
  @SuppressWarnings("unused")
  public void test()
  {
    C<String> c = getB().getC();
    String s = getB().toString();
  }
}

public class B<S>
{
  public C<String> getC()
  {
    return new C<String>();
  }
}

public class C<T>
{
}

OBSERVED BEHAVIOUR:
I get the following warning on the line:
C<String> c = getB().getC(); // A.test() method
The warning is:
Type safety: The expression of type C needs unchecked conversion to conform to C<String>

EXPECTED BEHAVIOUR:
IMHO, there should not be any type safety error: even if getB() returns a raw B type, B.getC() certainly returns a C<String>, no matter what <S> is for B.

Or, if any warning should be given, I expect something about the fact that getB() returns a raw type... but in this case, I would expect to see a warning even on the following line:
String s = getB().toString();
However, this could become annoying and useless, so I would prefer no warning at all in both cases...