From b699126840dfcd23db8d4ac9f21958ac85b471e6 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Tue, 20 Jul 2021 11:56:30 -0700
Subject: [PATCH] Test case for issue #4815.

---
 checker/tests/resourceleak/Issue4815.java | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 checker/tests/resourceleak/Issue4815.java

diff --git a/checker/tests/resourceleak/Issue4815.java b/checker/tests/resourceleak/Issue4815.java
new file mode 100644
index 00000000000..c1b090a5768
--- /dev/null
+++ b/checker/tests/resourceleak/Issue4815.java
@@ -0,0 +1,18 @@
+// Test case for https://tinyurl.com/cfissue/4815
+// @skip-test until the bug is fixed.
+
+import java.util.List;
+import org.checkerframework.checker.mustcall.qual.MustCall;
+import org.checkerframework.checker.mustcall.qual.Owning;
+
+public class Issue4815 {
+  public <T extends Component> void initialize(
+      List<T> list, @Owning @MustCall("initialize") T object) {
+    object.initialize();
+    list.add(object);
+  }
+
+  private static class Component {
+    void initialize() {}
+  }
+}