Consider the following:

class C {
  def m(boolean[] array) {
    array.eachWithIndex { b, i ->
    }
  }
}

The DGM is defined this way, which fails to assist the IDE in type inferencing: <T> T eachWithIndex(T self, /*@ClosureParams(value=FromString.class, options="?,Integer")*/ Closure closure)