[GROOVY-7159] STC claims non-existent Diamond in Anonymous Inner Class with Generics

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.0-beta-3
• Fix Version/s: 2.4.4
• Component/s: Static Type Checker
• Environment: Groovy Version: 2.4.0-beta-3 JVM: 1.8.0_25 Vendor: Oracle Corporation OS: Mac OS X
• Assignee: Cédric Champeau
• Reporter: UEHARA Junji
• Created: 08/Nov/14 08:25
• Updated: 21/Jul/15 10:29
• Resolved: 07/May/15 20:52

Description

In following code, STC error with variable x.

[Static type checking] - Cannot use diamond <> with anonymous inner classes

But diamond is not used for x.

interface Cls<T> {
    void foo(T t)
}

@groovy.transform.TypeChecked
def func() {
    Cls<String> x = new Cls<String>(){ // [Static type checking] - Cannot use diamond <> with anonymous inner classes
                                       // why?
        void foo(String t){}
    }
    Cls y = new Cls<String>(){ // OK
        void foo(String t){}
    }
    Cls<String> z = new Cls<>(){ // [Static type checking] - Cannot use diamond <> with anonymous inner classes
                                 // fair enough
        public void foo(String t){}
    }
}