From b526a17f46ee89a44b4ab9157a405ade74ee22a2 Mon Sep 17 00:00:00 2001
From: Dave Bakker <github@davebakker.io>
Date: Tue, 26 Aug 2025 21:05:04 +0200
Subject: [PATCH] Create sockets via fallible constructors

---
 wit-0.3.0-draft/types.wit | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/wit-0.3.0-draft/types.wit b/wit-0.3.0-draft/types.wit
index 3a7915c..e6b0685 100644
--- a/wit-0.3.0-draft/types.wit
+++ b/wit-0.3.0-draft/types.wit
@@ -152,8 +152,7 @@ interface types {
         /// - <https://man7.org/linux/man-pages/man2/socket.2.html>
         /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-wsasocketw>
         /// - <https://man.freebsd.org/cgi/man.cgi?query=socket&sektion=2>
-        @since(version = 0.3.0-rc-2025-08-15)
-        create: static func(address-family: ip-address-family) -> result<tcp-socket, error-code>;
+        constructor(address-family: ip-address-family) -> result<tcp-socket, error-code>;
 
         /// Bind the socket to the provided IP address and port.
         ///
@@ -511,8 +510,7 @@ interface types {
         /// - <https://man7.org/linux/man-pages/man2/socket.2.html>
         /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-wsasocketw>
         /// - <https://man.freebsd.org/cgi/man.cgi?query=socket&sektion=2>
-        @since(version = 0.3.0-rc-2025-08-15)
-        create: static func(address-family: ip-address-family) -> result<udp-socket, error-code>;
+        constructor(address-family: ip-address-family) -> result<udp-socket, error-code>;
 
         /// Bind the socket to the provided IP address and port.
         ///