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 void initialize( + List list, @Owning @MustCall("initialize") T object) { + object.initialize(); + list.add(object); + } + + private static class Component { + void initialize() {} + } +}