diff --git a/checker/tests/nullness/Issue5245.java b/checker/tests/nullness/Issue5245.java
new file mode 100644
index 00000000000..6fb67aea644
--- /dev/null
+++ 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) {}
+}