From d088d28808e37805683c3d68c2b6f57c8a49e970 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Fri, 5 Aug 2022 11:06:00 -0700
Subject: [PATCH] Test case for issue #5245

---
 checker/tests/nullness/Issue5245.java | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 checker/tests/nullness/Issue5245.java

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) {}
+}