[GROOVY-5580] @CompileStatic doesn't support interfaces extending other interfaces

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-rc-4
• Fix Version/s: 2.0.1
• Component/s: Static compilation, Static Type Checker
• Environment: Windows 7 x64, Java 7
• Assignee: Cédric Champeau
• Reporter: Charles Daffern
• Created: 06/Jul/12 20:54
• Updated: 26/Jul/12 16:49
• Resolved: 09/Jul/12 10:24

Description

[Major is the default priority, sorry if I'm supposed to assign to another]
This code fails during static type checking:

interface A {
    String getName();
}

interface B extends A {
    void foo();
}

@groovy.transform.CompileStatic
class C {
    String name
    void bar(B b)
    {
        b.foo()
        name = b.name
    }
}
new C()

With this error:

[Static type checking] - No such property: name for class: B

Changing the code to use getName() works, as does casting b to A.

I also encountered a related issue, in which the getName() workaround fails:

interface A {
    String getName();
}

interface A2 {
    String getName();
}

interface B extends A,A2 {
    void foo();
}

@groovy.transform.CompileStatic
class C {
    String name
    void bar(B c)
    {
        c.foo()
        name = c.getName()
    }
}
new C()

The casting workaround still works, but otherwise the error given is:

[Static type checking] - Reference to method is ambiguous. Cannot choose between [MethodNode@1813166140[java.lang.String getName()], MethodNode@877270685[java.lang.String getName()]]