[GROOVY-7690] TypeChecked Groovy does not throw illegal assignment error at compile time when using raw generic type

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.5
• Fix Version/s: 4.0.0-beta-2
• Assignee: Eric Milles
• Reporter: Emanuel Seidinger
• Created: 26/Nov/15 11:52
• Updated: 03/Feb/22 22:32
• Resolved: 21/Oct/21 14:41

Description

I want to provoke a compiler error. I am omitting the type parameter of a generic List and use it as a raw type. When getting an object from the raw list it should be of type Object. When casting this Object implicitly to an Integer the compiler should throw an illegal assignment error but it doesn't.

The following code example should illustrate the problem. Case 2 and 3 should throw the same error but only case 3 is producing an error.

import groovy.transform.TypeChecked

@TypeChecked
class Test {

    static method() {
        ArrayList<Integer> integerArrayList = new ArrayList<>();
        ArrayList rawArrayList = new ArrayList();
        ArrayList<Object> objectArrayList = new ArrayList<>();

        integerArrayList << 1;
        rawArrayList << new Object();
        objectArrayList << new Object();

        Integer x = integerArrayList.get(0);    // Case 1: works as expected
        Integer y = rawArrayList.get(0);        // Case 2: doesn't throw a compile error but should
        Integer z = objectArrayList.get(0);     // Case 3: throws a compile error as expected
    }
}

Issue Links

• is fixed by: GROOVY-10055 STC does not support self bounded types