Description Brad Dolin 2009-07-01 16:14:25 EDT

Build ID: M20080911-1700

Consider the following code:

public class Test
{
    class Blorg<T extends Serializable>
    {
    }
    
    void foo()
    {
        class Geblaro extends Blorg<Object>
        {
        }
    }
}

We should get this compiler warning:

"The type Object is not a valid substitute for the bounded parameter <T extends Serializable> of the type Test.Blorg<T>"

But in fact we get no error at all. If Geblaro is promoted to a non-local class (e.g., an inner class in Test) we do get the error message.

More information:

Note that javac does give an error for the local class:

type parameter java.lang.Object is not within its bound
        class Geblaro extends Blorg<Object>
                                    ^
1 error