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

• Type: Bug
• Status: Closed
• Priority: Blocker
• Resolution: Fixed
• Affects Version/s: 2.0-beta-2
• Fix Version/s: 2.0-beta-3
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Andy Clement
• Created: 17/Apr/12 14:43
• Updated: 13/May/12 03:30
• Resolved: 26/Apr/12 11:08

Description

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)