test for INCOMPATIBLE_RETURN_TYPE

eclipse · Feb 8, 2024 · a709a53 · a709a53
1 parent 643587e
commit a709a53
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/...xbase.tests/src/org/eclipse/xtext/xbase/tests/validation/JvmGenericTypeValidatorTest.java b/...xbase.tests/src/org/eclipse/xtext/xbase/tests/validation/JvmGenericTypeValidatorTest.java
@@ -460,6 +460,14 @@ public void testWildcardSuperType() throws Exception {
 		validationHelper.assertNoErrors(model);
 	}
 
+	@Test public void testOverrideIncompatbileReturnType() throws Exception {
+		var source = "class Foo extends test.SuperTypeClass { def Integer stringMethod() {null} }";
+		var model = parse(source);
+		validationHelper.assertError(model, MY_METHOD, INCOMPATIBLE_RETURN_TYPE,
+				source.indexOf("Integer"), "Integer".length(),
+				"incompatible", "stringMethod");
+	}
+
 	@Test public void testOverrideHides() throws Exception {
 		var source = "class Foo extends test.SuperTypeClass { def private void foo() {} }";
 		var model = parse(source);

diff --git a/org.eclipse.xtext.xbase.tests/testdata/test/SuperTypeClass.java b/org.eclipse.xtext.xbase.tests/testdata/test/SuperTypeClass.java
@@ -16,4 +16,7 @@ public abstract class SuperTypeClass {
 	public void foo() {
 	}
 
+	public String stringMethod() {
+		return null;
+	}
 }