Consider the following:

@groovy.transform.TypeChecked
void test() {
  def obj = new Object() {}
}

Code hover for "obj" displays "1 obj" instead of "Object obj".