Type checker doesn't seem to realise a non-static method won't satisfy a call from a static context

Just got the 2.0 compiler into groovy-eclipse, so testing things out:

import groovy.transform.TypeChecked;


@TypeChecked
class TC {

	public static void main(String[] args) {
		foo();
	}
	
	public void foo() {}
}

No type checking error is reported here - I presume there should be one? (Since foo is not static)