[GROOVY-8788] Inconsistency in extension method selection with @CompileStatic

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.15, 2.5.2
• Fix Version/s: 5.0.0-alpha-1
• Component/s: Static compilation, Static Type Checker
• Labels: breaking
• Assignee: Eric Milles
• Reporter: Daniil Ovchinnikov
• Created: 13/Sep/18 11:58
• Updated: 23/Aug/23 09:11
• Resolved: 23/Aug/22 20:50

Description

Given properly registered extension class:

MyExtensions.java

public class MyExtensions {

    public static void foo(Object self, String s) {
        System.out.println("Object#foo(String)");
    }

    public static void foo(String self, Object o) {
        System.out.println("String#foo(Object)");
    }
}

Run

playground.groovy

void usageExt() {
    "".foo("") // prints "Object#foo(String)" which is correct
}

@groovy.transform.CompileStatic
void usageExtStatic() {
    "".foo("") // prints "String#foo(Object)" which is questionable
}

usageExt()
usageExtStatic()

Issue Links

• is related to: GROOVY-5700 STC: different behavior w/ map subscript and property access when using elvis
• is related to: GROOVY-6504 Type checker select the wrong inject method
• is related to: GROOVY-6849 Error in @CompileStatic when method in both Interface and Superclass
• is related to: GROOVY-6970 Type checker fails to choose between equivalent interface methods
• is related to: GROOVY-8787 Inconsistency in method selection with @CompileStatic
• is related to: GROOVY-9069 assignment in map by named index causes casting error
• is related to: GROOVY-9420 Incorrect type inference on map[key]
• links to: GitHub Pull Request #1766
• links to: GitHub Pull Request #1768