Test case for #5739

checker/tests/resourceleak/ConnectingSockets2.java

@@ -0,0 +1,18 @@
+// Test case for https://github.com/typetools/checker-framework/issues/5739 .
+
+// @skip-test until the bug is fixed
+
+import java.io.IOException;
+import java.net.*;
+
+class ConnectingSockets2 {
+
+  void run(InetSocketAddress isa) {
+    try (Socket serverSocket = new Socket()) {
+      serverSocket.close();
+      serverSocket.connect(isa);
+    } catch (IOException e) {
+      // do nothing
+    }
+  }
+}