[GROOVY-5702] STC: checker confused by overridden method from sub interface

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.2
• Fix Version/s: 2.0.4
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Guillaume Sauthier
• Created: 11/Sep/12 09:34
• Updated: 21/Sep/12 16:58
• Resolved: 13/Sep/12 09:57

Description

interface MyCloseable {
    void close()
}

interface OtherCloseable extends MyCloseable {
    void close()
}

class MyCloseableChannel implements OtherCloseable {}

@groovy.transform.TypeChecked
class Test {
    static void test() {
        def mc = new MyCloseableChannel()
        mc.close()
    }   
}

Test.test()

Here, OtherCloseable redefines close() from MyCloseable, and it seems to confuse the type checker, as it complains with:

[Static type checking] - Cannot find matching method MyCloseableChannel#close(). Please check if the declared type is right and if the method exists.

I found the case with java.nio.Channel which redefines the close() method from parent interface java.io.Closeable.