type checked with generics issue

[Jamie Echlin]

I'm confused about the type checking in one instance. Take this:

class Foo {
    String getBar() { "bar" }
}

@TypeChecked
class TestFoo {

    def foo = new Foo()

    void test() {
        assert foo.bar == "bar"
    }
}

If the def of foo is within the test() method it's fine, but where it is it
seems not to be able to resolve the type (cannot resolve symbol "bar"). Why
can't it infer the type - I don't see what will change the type between
initialisation and the when the method is called.

cheers, jamie