[GROOVY-5653] STC: non ambiguous method call reported ambiguous

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.1
• Fix Version/s: 2.0.2
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Guillaume Sauthier
• Created: 01/Aug/12 16:11
• Updated: 11/Sep/12 01:15
• Resolved: 29/Aug/12 09:08

Description

import groovy.transform.*

@TypeChecked
class Bug1 {
    void m(byte[] bytes) {}
    void m(byte[] bytes, int i1, int i2) {}
    void test() {
        m("foo".bytes, 1, 2)
    }
}

new Bug1().test()

In the example above, STC believes the call is ambiguous, although it doesn't really appear to be. This yields the following compilation error:

[Static type checking] - Reference to method is ambiguous. Cannot choose between [MethodNode@18204363[void m([B, int, int)], MethodNode@864642116[void m([B)]]
 at line: 8, column: 9