Test case for issue typetools#5245

eisop · Sep 2, 2022 · 79e038e · 79e038e
1 parent 4b32efc
commit 79e038e
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/checker/tests/nullness/Issue5245.java b/checker/tests/nullness/Issue5245.java
@@ -0,0 +1,11 @@
+// Test case for https://github.com/typetools/checker-framework/issues/5245
+
+// @skip-test until the bug is fixed
+
+import java.util.List;
+
+class CFRepro<E> {
+  final CFRepro<List<String>> repro = new CFRepro<>(List.of());
+
+  <V extends E> CFRepro(V unknownObj) {}
+}