[GROOVY-5495] @TypeChecked and @CompileStatic is not aware of interfaces hierarchy

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0-rc-2
• Fix Version/s: 2.0-rc-3
• Assignee: Cédric Champeau
• Reporter: Filip PajÄ k
• Created: 05/Jun/12 09:24
• Updated: 15/Jun/12 22:56
• Resolved: 10/Jun/12 10:30

Description

@TypeChecked and @CompileStatic doesn't compile code which use interface hierarchy. It only checks methods defined in used interface, not inherited from ancestors.

Example:

import groovy.transform.TypeChecked

class ClassUnderTest {

    @TypeChecked
    void methodFromString(SecondInterface si) {
        si.methodFromSecondInterface();
        si.methodFromFirstInterface();
    }
}

interface FirstInterface {
    void methodFromFirstInterface();
}

interface SecondInterface extends FirstInterface {
    void methodFromSecondInterface();
}

Compiler throws an error:

[Static type checking] - Cannot find matching method SecondInterface#methodFromFirstInterface()

For class hierarchy it works and code below compiles:

import groovy.transform.TypeChecked

class ClassUnderTest {

    @TypeChecked
    void methodFromString(SecondInterface si) {
        si.methodFromSecondInterface();
        si.methodFromFirstInterface();
    }
}

class FirstInterface {
    void methodFromFirstInterface() { };
}

class SecondInterface extends FirstInterface {
    void methodFromSecondInterface() { };
}