test for WILDCARD_IN_SUPERTYPE

eclipse · Feb 5, 2024 · 442a482 · 442a482
1 parent 747984f
commit 442a482
Showing 1 changed file with 9 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
@@ -224,6 +224,15 @@ public class JvmGenericTypeValidatorTest {
 				"override", "final");
 	}
 
+	@Test
+	public void testWildcardSuperType() throws Exception {
+		var source = "class Foo extends Bar<?>{}"
+		+ "class Bar<T> {}";
+		var model = parse(source);
+		validationHelper.assertError(model, MY_CLASS, WILDCARD_IN_SUPERTYPE,
+				source.indexOf("Bar<?>"), "Bar<?>".length());
+	}
+
 	@Test public void testConstructorDuplicate() throws Exception {
 		var source = "class K { constructor (Object o) {} constructor (Object o) {} }";
 		var model = parse(source);