[GROOVY-7922] Static type checking not strict enough in the presence of ambiguous method matching

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 2.4.8
• Component/s: Static Type Checker
• Assignee: John Wagenleitner
• Reporter: Paul King
• Created: 29/Aug/16 13:05
• Updated: 01/Feb/17 23:19
• Resolved: 20/Sep/16 03:32

Description

This example:

import groovy.transform.CompileStatic

interface FooA {}
interface FooB {}
class FooAB implements FooA, FooB {}
@CompileStatic
class TestGroovy {
    static void test() { println new TestGroovy().foo(new FooAB()) }
    def foo(FooB x) { 43 }
    def foo(FooA x) { 42 }
}

TestGroovy.test()

Should probably throw some kind of ambiguous method error during compilation to match Java (and dynamic Groovy's runtime error).

Issue Links

• links to: GitHub Pull Request #422