STC: property reference to generated method not recognized

Consider the following:

class Foo {
  def getBar(bar = 'bar') { bar }
}
@CompileStatic
void test(Foo foo) {
  print foo.bar
}
test(new Foo())

Type checker says: "No such property: bar for class: Foo". Methods added by Verifier, like ones for default arguments, are not checked by property resolution.