[GROOVY-5724] @TypeChecked and JUnit Test using assertThat(myTestResult, notNullValue()

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.4
• Fix Version/s: 2.0.6
• Component/s: Static Type Checker
• Environment: Windows 7; Eclipse Juno; Groovy Eclipse 2.7.1
• Assignee: Cédric Champeau
• Reporter: Peti Koch
• Created: 25/Sep/12 02:55
• Updated: 22/Dec/12 01:10
• Resolved: 26/Nov/12 07:34

Description

This worked with Groovy 2.0.0, with 2.0.4 it doesn't
(where is your test coverage?)

package groovy.bugs.typechecker

import static org.hamcrest.CoreMatchers.*
import static org.junit.Assert.*
import groovy.transform.TypeChecked

@TypeChecked
class AssertNotNullTypecheckerBugTest {

	@org.junit.Test
	public void sometest() throws Exception {
		// act
		String result = '12345'.substring(2)
		// assert
		assertThat(result, notNullValue())
		assertEquals('345', result)
	}
}

I get the following error in Eclipse

Description	Resource	Path	Location	Type
Groovy:[Static type checking] - Cannot call org.junit.Assert#assertThat(java.lang.Object <T extends java.lang.Object>, org.hamcrest.Matcher <T extends java.lang.Object>) with arguments [java.lang.String, org.hamcrest.Matcher <T extends java.lang.Object>] 	AssertNotNullTypecheckerBugTest.groovy	/GroovyBugs/src/groovy/bugs/typechecker	line 15	Java Problem

-> The eclipse project containing this sample is attached.