[GROOVY-10036] STC: unresolved generics for return type of extension method call with full type arguments

• Type: Improvement
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Affects Version/s: 2.5.14, 3.0.7, 4.0.0-alpha-3
• Fix Version/s: 4.0.0-beta-1, 3.0.9
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 14/Apr/21 15:51
• Updated: 03/Feb/22 22:34
• Resolved: 16/Apr/21 02:06

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  def list = ['x','y']
  def map = list.<String,Object,String>collectEntries { [it, it.length()] }
}

The type checker infers Map<K,V> for the type of "map" even though all type arguments are provided to "collectEntries".

    public static <K,V,E> Map<K, V> collectEntries(Iterable<E> self, @ClosureParams(FirstParam.FirstGenericType.class) Closure<?> transform)