[GROOVY-9735] STC: incorrect error for actual vs inferred closure parameter type

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.0-alpha-1, 3.0.6
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 10/Sep/20 19:29
• Updated: 11/Nov/20 02:01
• Resolved: 20/Sep/20 00:55

Description

Follow up from GROOVY-9570. When the method is not a DGM, there is a slightly different path through STC and the same error is currently given.

import groovy.transform.stc.*
@groovy.transform.TypeChecked
class C<I extends Item> {
  Queue<I> queue
  def c = { ->
    x(queue) { I item ->
      println item
    }
  }
  def m() {
    x(queue) { I item ->
      println item
    }
  }
  def <T> T x(Collection<T> y, @ClosureParams(FirstParam.FirstGenericType) Closure<?> z) {
  }
}
interface Item {}
new C()

Both instances of "I item" are flagged with the same error described in GROOVY-9570