[GROOVY-10651] STC: closure parameter type inference for raw type that is iterable over type parameter

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.5.17, 3.0.11, 4.0.3
• Fix Version/s: 4.0.4, 3.0.20
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 04/Jun/22 18:46
• Updated: 27/Dec/23 18:22
• Resolved: 13/Jun/22 16:12

Description

Consider the following:

abstract class TreeNode<TN extends TreeNode<?>> implements Iterable<TN> {
  @Override
  Iterator<TN> iterator() {
  }
}

void proc(TreeNode node) {
  node.eachWithIndex { child, index ->
    proc(child) // Cannot find matching method #proc(java.lang.Object)
  }
}

Issue Links

• relates to: GROOVY-11258 AssertJ collection mapping is badly supported
• relates to: GROOVY-10671 STC fails to compile AssertJ fluent API expression
• relates to: GROOVY-10756 STC: parameterized and bounded return value for java class property
• relates to: GROOVY-11028 STC: empty map (or list) literal does not type check like emptyMap()