[GROOVY-9059] Failed to parse/compile generic methods with "extends"

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.16, 3.0.0-alpha-4, 2.5.6
• Fix Version/s: 3.0.0-rc-1, 2.5.18
• Component/s: Static compilation
• Assignee: Eric Milles
• Reporter: Xiaoguang Wang
• Created: 30/Mar/19 05:10
• Updated: 19/Jul/22 20:31
• Resolved: 07/Aug/19 23:42

Description

 

import groovy.transform.CompileStatic

// This bug affects: groovy-2.4.16, groovy-2.5.6, groovy-3.0.0-alpha-4
// This bug also affect IDEA's syntax parser

interface X<T> {
    // Intellij IDEA reports that 'public' is not necessary
    // BUT without the 'public' modifier, there is a syntax error
    public <T> T foo(T o);
}
interface Y<T> {
    public <O extends T> O foo(O o);
}

@CompileStatic
class TestGroovyGeneric {
    static void main(String[] args) {
        def x = new X<String>() {
            // it compiles
            // BUT: Intellij IDEA reports: ERROR: Method 'foo' is not implemented
            @Override
            String foo(String o) { return o }
        }

        // Strangely, such code compiles
        // BUT: Intellij IDEA reports: ERROR: Method 'foo' is not implemented
        def y1 = new Y<String>() {
            @Override
            public <String> String foo(String o) { return o }
        }

        // Can not compile:
        // BUT: Intellij IDEA reports no error ....
        def y2 = new Y<String>() {
            @Override
            String foo(String o) { return o }
        }
    }
}

 

Issue Links

• links to: GitHub Pull Request #985