[GROOVY-5807] When static type checking, only static invocations to methods, not to variables, are considered

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Duplicate
• Affects Version/s: 2.0.5
• Component/s: Static Type Checker
• Environment: Windows XP, groovy 2.0.5

Language

groovy

• Assignee: Jochen Theodorou
• Reporter: Stach Rosik
• Created: 19/Nov/12 07:51
• Updated: 10/Sep/24 17:39
• Resolved: 28/Aug/13 03:21

Description

In the following code (and the same code is attached), two lines are printed out, which is what one should expect.
Alas, after uncommenting the @TypeChecked annotation, two (similar) errors are listed:

[Static type checking] - Cannot find matching method java.lang.Class#v(groovy.lang.Closure <java.lang.Void>). Please check if the declared type is right and if the method exists.

This is the code in question:

import groovy.transform.TypeChecked
class A {
   static v = { it() }
   static main(args) {
      new A().m()
   }
   //@TypeChecked
   def m() { 
      A.v() { println 'ok A.' }
      B.v() { println 'ok B.' }
   }
}
class B  {
   static v = { it() }
}