[ https://issues.apache.org/jira/browse/GROOVY-8788?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17583001#comment-17583001 ]
Eric Milles commented on GROOVY-8788: ------------------------------------- So I can think of a few options to move forward from this point: 1. Add {{getAt(Map,String}} and {{putAt(Map,String,V}} extension methods. This gets in front of the getProperty/setProperty behavior. But it means "map['key']" diverges from "map.key". I tried this option in the [previous PR|https://github.com/apache/groovy/pull/1766] 2. Add special-case logic in STC to select {{getAt(Map,Object)}} for string argument and map receiver. (same for putAt). This lets type-checker work like before. But the public property case described above will still be a cast exception for SC at least. 3. Add type inference logic to STC for left-square-bracket binary expression with map receiver and String key. This overrides the type information provided by method selection. > Inconsistency in extension method selection with @CompileStatic > --------------------------------------------------------------- > > Key: GROOVY-8788 > URL: https://issues.apache.org/jira/browse/GROOVY-8788 > Project: Groovy > Issue Type: Bug > Components: Static compilation, Static Type Checker > Affects Versions: 2.4.15, 2.5.2 > Reporter: Daniil Ovchinnikov > Assignee: Eric Milles > Priority: Major > Labels: breaking > > Given properly registered extension class: > {code:java|title=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)"); > } > } > {code} > Run > {code:java|title=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() > {code} -- This message was sent by Atlassian Jira (v8.20.10#820010)