Consider the following:

class Named { String name }
@groovy.transform.TypeChecked
void test() {
  def c = Collectors.groupingBy(Named::getName)
}

The type checker is able to work out the collector type arguments as evidenced by hovering over the variable.

However the type given for the method is not quite complete.