wasmtime 16.0.0 → 17.0.1

data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/deps/sockets/tcp.wit

@@ -1,321 +0,0 @@
-
-interface tcp {
-    use wasi:io/streams@0.2.0-rc-2023-11-10.{input-stream, output-stream};
-    use wasi:io/poll@0.2.0-rc-2023-11-10.{pollable};
-    use wasi:clocks/monotonic-clock@0.2.0-rc-2023-11-10.{duration};
-    use network.{network, error-code, ip-socket-address, ip-address-family};
-
-    enum shutdown-type {
-        /// Similar to `SHUT_RD` in POSIX.
-        receive,
-
-        /// Similar to `SHUT_WR` in POSIX.
-        send,
-
-        /// Similar to `SHUT_RDWR` in POSIX.
-        both,
-    }
-
-
-    /// A TCP socket handle.
-    resource tcp-socket {
-        /// Bind the socket to a specific network on the provided IP address and port.
-        ///
-        /// If the IP address is zero (`0.0.0.0` in IPv4, `::` in IPv6), it is left to the implementation to decide which
-        /// network interface(s) to bind to.
-        /// If the TCP/UDP port is zero, the socket will be bound to a random free port.
-        ///
-        /// When a socket is not explicitly bound, the first invocation to a listen or connect operation will
-        /// implicitly bind the socket.
-        ///
-        /// Unlike in POSIX, this function is async. This enables interactive WASI hosts to inject permission prompts.
-        ///
-        /// # Typical `start` errors
-        /// - `invalid-argument`:          The `local-address` has the wrong address family. (EAFNOSUPPORT, EFAULT on Windows)
-        /// - `invalid-argument`:          `local-address` is not a unicast address. (EINVAL)
-        /// - `invalid-argument`:          `local-address` is an IPv4-mapped IPv6 address, but the socket has `ipv6-only` enabled. (EINVAL)
-        /// - `invalid-state`:             The socket is already bound. (EINVAL)
-        ///
-        /// # Typical `finish` errors
-        /// - `address-in-use`:            No ephemeral ports available. (EADDRINUSE, ENOBUFS on Windows)
-        /// - `address-in-use`:            Address is already in use. (EADDRINUSE)
-        /// - `address-not-bindable`:      `local-address` is not an address that the `network` can bind to. (EADDRNOTAVAIL)
-        /// - `not-in-progress`:           A `bind` operation is not in progress.
-        /// - `would-block`:               Can't finish the operation, it is still in progress. (EWOULDBLOCK, EAGAIN)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/bind.html>
-        /// - <https://man7.org/linux/man-pages/man2/bind.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-bind>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=bind&sektion=2&format=html>
-        start-bind: func(network: borrow<network>, local-address: ip-socket-address) -> result<_, error-code>;
-        finish-bind: func() -> result<_, error-code>;
-
-        /// Connect to a remote endpoint.
-        ///
-        /// On success:
-        /// - the socket is transitioned into the Connection state
-        /// - a pair of streams is returned that can be used to read & write to the connection
-        ///
-        /// POSIX mentions:
-        /// > If connect() fails, the state of the socket is unspecified. Conforming applications should
-        /// > close the file descriptor and create a new socket before attempting to reconnect.
-        ///
-        /// WASI prescribes the following behavior:
-        /// - If `connect` fails because an input/state validation error, the socket should remain usable.
-        /// - If a connection was actually attempted but failed, the socket should become unusable for further network communication.
-        ///   Besides `drop`, any method after such a failure may return an error.
-        ///
-        /// # Typical `start` errors
-        /// - `invalid-argument`:          The `remote-address` has the wrong address family. (EAFNOSUPPORT)
-        /// - `invalid-argument`:          `remote-address` is not a unicast address. (EINVAL, ENETUNREACH on Linux, EAFNOSUPPORT on MacOS)
-        /// - `invalid-argument`:          `remote-address` is an IPv4-mapped IPv6 address, but the socket has `ipv6-only` enabled. (EINVAL, EADDRNOTAVAIL on Illumos)
-        /// - `invalid-argument`:          `remote-address` is a non-IPv4-mapped IPv6 address, but the socket was bound to a specific IPv4-mapped IPv6 address. (or vice versa)
-        /// - `invalid-argument`:          The IP address in `remote-address` is set to INADDR_ANY (`0.0.0.0` / `::`). (EADDRNOTAVAIL on Windows)
-        /// - `invalid-argument`:          The port in `remote-address` is set to 0. (EADDRNOTAVAIL on Windows)
-        /// - `invalid-argument`:          The socket is already attached to a different network. The `network` passed to `connect` must be identical to the one passed to `bind`.
-        /// - `invalid-state`:             The socket is already in the Connection state. (EISCONN)
-        /// - `invalid-state`:             The socket is already in the Listener state. (EOPNOTSUPP, EINVAL on Windows)
-        ///
-        /// # Typical `finish` errors
-        /// - `timeout`:                   Connection timed out. (ETIMEDOUT)
-        /// - `connection-refused`:        The connection was forcefully rejected. (ECONNREFUSED)
-        /// - `connection-reset`:          The connection was reset. (ECONNRESET)
-        /// - `connection-aborted`:        The connection was aborted. (ECONNABORTED)
-        /// - `remote-unreachable`:        The remote address is not reachable. (EHOSTUNREACH, EHOSTDOWN, ENETUNREACH, ENETDOWN, ENONET)
-        /// - `address-in-use`:            Tried to perform an implicit bind, but there were no ephemeral ports available. (EADDRINUSE, EADDRNOTAVAIL on Linux, EAGAIN on BSD)
-        /// - `not-in-progress`:           A `connect` operation is not in progress.
-        /// - `would-block`:               Can't finish the operation, it is still in progress. (EWOULDBLOCK, EAGAIN)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/connect.html>
-        /// - <https://man7.org/linux/man-pages/man2/connect.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-connect>
-        /// - <https://man.freebsd.org/cgi/man.cgi?connect>
-        start-connect: func(network: borrow<network>, remote-address: ip-socket-address) -> result<_, error-code>;
-        finish-connect: func() -> result<tuple<input-stream, output-stream>, error-code>;
-
-        /// Start listening for new connections.
-        ///
-        /// Transitions the socket into the Listener state.
-        ///
-        /// Unlike POSIX:
-        /// - this function is async. This enables interactive WASI hosts to inject permission prompts.
-        /// - the socket must already be explicitly bound.
-        ///
-        /// # Typical `start` errors
-        /// - `invalid-state`:             The socket is not bound to any local address. (EDESTADDRREQ)
-        /// - `invalid-state`:             The socket is already in the Connection state. (EISCONN, EINVAL on BSD)
-        /// - `invalid-state`:             The socket is already in the Listener state.
-        ///
-        /// # Typical `finish` errors
-        /// - `address-in-use`:            Tried to perform an implicit bind, but there were no ephemeral ports available. (EADDRINUSE)
-        /// - `not-in-progress`:           A `listen` operation is not in progress.
-        /// - `would-block`:               Can't finish the operation, it is still in progress. (EWOULDBLOCK, EAGAIN)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/listen.html>
-        /// - <https://man7.org/linux/man-pages/man2/listen.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-listen>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=listen&sektion=2>
-        start-listen: func() -> result<_, error-code>;
-        finish-listen: func() -> result<_, error-code>;
-
-        /// Accept a new client socket.
-        ///
-        /// The returned socket is bound and in the Connection state. The following properties are inherited from the listener socket:
-        /// - `address-family`
-        /// - `ipv6-only`
-        /// - `keep-alive-enabled`
-        /// - `keep-alive-idle-time`
-        /// - `keep-alive-interval`
-        /// - `keep-alive-count`
-        /// - `hop-limit`
-        /// - `receive-buffer-size`
-        /// - `send-buffer-size`
-        ///
-        /// On success, this function returns the newly accepted client socket along with
-        /// a pair of streams that can be used to read & write to the connection.
-        ///
-        /// # Typical errors
-        /// - `invalid-state`:      Socket is not in the Listener state. (EINVAL)
-        /// - `would-block`:        No pending connections at the moment. (EWOULDBLOCK, EAGAIN)
-        /// - `connection-aborted`: An incoming connection was pending, but was terminated by the client before this listener could accept it. (ECONNABORTED)
-        /// - `new-socket-limit`:   The new socket resource could not be created because of a system limit. (EMFILE, ENFILE)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/accept.html>
-        /// - <https://man7.org/linux/man-pages/man2/accept.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-accept>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=accept&sektion=2>
-        accept: func() -> result<tuple<tcp-socket, input-stream, output-stream>, error-code>;
-
-        /// Get the bound local address.
-        ///
-        /// POSIX mentions:
-        /// > If the socket has not been bound to a local name, the value
-        /// > stored in the object pointed to by `address` is unspecified.
-        ///
-        /// WASI is stricter and requires `local-address` to return `invalid-state` when the socket hasn't been bound yet.
-        ///
-        /// # Typical errors
-        /// - `invalid-state`: The socket is not bound to any local address.
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/getsockname.html>
-        /// - <https://man7.org/linux/man-pages/man2/getsockname.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-getsockname>
-        /// - <https://man.freebsd.org/cgi/man.cgi?getsockname>
-        local-address: func() -> result<ip-socket-address, error-code>;
-
-        /// Get the remote address.
-        ///
-        /// # Typical errors
-        /// - `invalid-state`: The socket is not connected to a remote address. (ENOTCONN)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/getpeername.html>
-        /// - <https://man7.org/linux/man-pages/man2/getpeername.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-getpeername>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=getpeername&sektion=2&n=1>
-        remote-address: func() -> result<ip-socket-address, error-code>;
-
-        /// Whether the socket is listening for new connections.
-        ///
-        /// Equivalent to the SO_ACCEPTCONN socket option.
-        is-listening: func() -> bool;
-
-        /// Whether this is a IPv4 or IPv6 socket.
-        ///
-        /// Equivalent to the SO_DOMAIN socket option.
-        address-family: func() -> ip-address-family;
-
-        /// Whether IPv4 compatibility (dual-stack) mode is disabled or not.
-        ///
-        /// Equivalent to the IPV6_V6ONLY socket option.
-        ///
-        /// # Typical errors
-        /// - `invalid-state`:        (set) The socket is already bound.
-        /// - `not-supported`:        (get/set) `this` socket is an IPv4 socket.
-        /// - `not-supported`:        (set) Host does not support dual-stack sockets. (Implementations are not required to.)
-        ipv6-only: func() -> result<bool, error-code>;
-        set-ipv6-only: func(value: bool) -> result<_, error-code>;
-
-        /// Hints the desired listen queue size. Implementations are free to ignore this.
-        ///
-        /// If the provided value is 0, an `invalid-argument` error is returned.
-        /// Any other value will never cause an error, but it might be silently clamped and/or rounded.
-        ///
-        /// # Typical errors
-        /// - `not-supported`:        (set) The platform does not support changing the backlog size after the initial listen.
-        /// - `invalid-argument`:     (set) The provided value was 0.
-        /// - `invalid-state`:        (set) The socket is already in the Connection state.
-        set-listen-backlog-size: func(value: u64) -> result<_, error-code>;
-
-        /// Enables or disables keepalive.
-        ///
-        /// The keepalive behavior can be adjusted using:
-        /// - `keep-alive-idle-time`
-        /// - `keep-alive-interval`
-        /// - `keep-alive-count`
-        /// These properties can be configured while `keep-alive-enabled` is false, but only come into effect when `keep-alive-enabled` is true.
-        ///
-        /// Equivalent to the SO_KEEPALIVE socket option.
-        keep-alive-enabled: func() -> result<bool, error-code>;
-        set-keep-alive-enabled: func(value: bool) -> result<_, error-code>;
-
-        /// Amount of time the connection has to be idle before TCP starts sending keepalive packets.
-        ///
-        /// If the provided value is 0, an `invalid-argument` error is returned.
-        /// Any other value will never cause an error, but it might be silently clamped and/or rounded.
-        /// I.e. after setting a value, reading the same setting back may return a different value.
-        ///
-        /// Equivalent to the TCP_KEEPIDLE socket option. (TCP_KEEPALIVE on MacOS)
-        ///
-        /// # Typical errors
-        /// - `invalid-argument`:     (set) The provided value was 0.
-        keep-alive-idle-time: func() -> result<duration, error-code>;
-        set-keep-alive-idle-time: func(value: duration) -> result<_, error-code>;
-
-        /// The time between keepalive packets.
-        ///
-        /// If the provided value is 0, an `invalid-argument` error is returned.
-        /// Any other value will never cause an error, but it might be silently clamped and/or rounded.
-        /// I.e. after setting a value, reading the same setting back may return a different value.
-        ///
-        /// Equivalent to the TCP_KEEPINTVL socket option.
-        ///
-        /// # Typical errors
-        /// - `invalid-argument`:     (set) The provided value was 0.
-        keep-alive-interval: func() -> result<duration, error-code>;
-        set-keep-alive-interval: func(value: duration) -> result<_, error-code>;
-
-        /// The maximum amount of keepalive packets TCP should send before aborting the connection.
-        ///
-        /// If the provided value is 0, an `invalid-argument` error is returned.
-        /// Any other value will never cause an error, but it might be silently clamped and/or rounded.
-        /// I.e. after setting a value, reading the same setting back may return a different value.
-        ///
-        /// Equivalent to the TCP_KEEPCNT socket option.
-        ///
-        /// # Typical errors
-        /// - `invalid-argument`:     (set) The provided value was 0.
-        keep-alive-count: func() -> result<u32, error-code>;
-        set-keep-alive-count: func(value: u32) -> result<_, error-code>;
-
-        /// Equivalent to the IP_TTL & IPV6_UNICAST_HOPS socket options.
-        ///
-        /// If the provided value is 0, an `invalid-argument` error is returned.
-        ///
-        /// # Typical errors
-        /// - `invalid-argument`:     (set) The TTL value must be 1 or higher.
-        /// - `invalid-state`:        (set) The socket is already in the Connection state.
-        /// - `invalid-state`:        (set) The socket is already in the Listener state.
-        hop-limit: func() -> result<u8, error-code>;
-        set-hop-limit: func(value: u8) -> result<_, error-code>;
-
-        /// The kernel buffer space reserved for sends/receives on this socket.
-        ///
-        /// If the provided value is 0, an `invalid-argument` error is returned.
-        /// Any other value will never cause an error, but it might be silently clamped and/or rounded.
-        /// I.e. after setting a value, reading the same setting back may return a different value.
-        ///
-        /// Equivalent to the SO_RCVBUF and SO_SNDBUF socket options.
-        ///
-        /// # Typical errors
-        /// - `invalid-argument`:     (set) The provided value was 0.
-        /// - `invalid-state`:        (set) The socket is already in the Connection state.
-        /// - `invalid-state`:        (set) The socket is already in the Listener state.
-        receive-buffer-size: func() -> result<u64, error-code>;
-        set-receive-buffer-size: func(value: u64) -> result<_, error-code>;
-        send-buffer-size: func() -> result<u64, error-code>;
-        set-send-buffer-size: func(value: u64) -> result<_, error-code>;
-
-        /// Create a `pollable` which will resolve once the socket is ready for I/O.
-        ///
-        /// Note: this function is here for WASI Preview2 only.
-        /// It's planned to be removed when `future` is natively supported in Preview3.
-        subscribe: func() -> pollable;
-
-        /// Initiate a graceful shutdown.
-        ///
-        /// - receive: the socket is not expecting to receive any more data from the peer. All subsequent read
-        ///   operations on the `input-stream` associated with this socket will return an End Of Stream indication.
-        ///   Any data still in the receive queue at time of calling `shutdown` will be discarded.
-        /// - send: the socket is not expecting to send any more data to the peer. All subsequent write
-        ///   operations on the `output-stream` associated with this socket will return an error.
-        /// - both: same effect as receive & send combined.
-        ///
-        /// The shutdown function does not close (drop) the socket.
-        ///
-        /// # Typical errors
-        /// - `invalid-state`: The socket is not in the Connection state. (ENOTCONN)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/shutdown.html>
-        /// - <https://man7.org/linux/man-pages/man2/shutdown.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-shutdown>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=shutdown&sektion=2>
-        shutdown: func(shutdown-type: shutdown-type) -> result<_, error-code>;
-    }
-}

data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/deps/sockets/udp-create-socket.wit

@@ -1,26 +0,0 @@
-
-interface udp-create-socket {
-    use network.{network, error-code, ip-address-family};
-    use udp.{udp-socket};
-
-    /// Create a new UDP socket.
-    ///
-    /// Similar to `socket(AF_INET or AF_INET6, SOCK_DGRAM, IPPROTO_UDP)` in POSIX.
-    ///
-    /// This function does not require a network capability handle. This is considered to be safe because
-    /// at time of creation, the socket is not bound to any `network` yet. Up to the moment `bind` is called,
-    /// the socket is effectively an in-memory configuration object, unable to communicate with the outside world.
-    ///
-    /// All sockets are non-blocking. Use the wasi-poll interface to block on asynchronous operations.
-    ///
-    /// # Typical errors
-    /// - `not-supported`:     The specified `address-family` is not supported. (EAFNOSUPPORT)
-    /// - `new-socket-limit`:  The new socket resource could not be created because of a system limit. (EMFILE, ENFILE)
-    ///
-    /// # References:
-    /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/socket.html>
-    /// - <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>
-    create-udp-socket: func(address-family: ip-address-family) -> result<udp-socket, error-code>;
-}

data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/deps/sockets/udp.wit

@@ -1,277 +0,0 @@
-
-interface udp {
-    use wasi:io/poll@0.2.0-rc-2023-11-10.{pollable};
-    use network.{network, error-code, ip-socket-address, ip-address-family};
-
-    /// A received datagram.
-    record incoming-datagram {
-        /// The payload.
-        /// 
-        /// Theoretical max size: ~64 KiB. In practice, typically less than 1500 bytes.
-        data: list<u8>,
-
-        /// The source address.
-        ///
-        /// This field is guaranteed to match the remote address the stream was initialized with, if any.
-        ///
-        /// Equivalent to the `src_addr` out parameter of `recvfrom`.
-        remote-address: ip-socket-address,
-    }
-
-    /// A datagram to be sent out.
-    record outgoing-datagram {
-        /// The payload.
-        data: list<u8>,
-
-        /// The destination address.
-        ///
-        /// The requirements on this field depend on how the stream was initialized:
-        /// - with a remote address: this field must be None or match the stream's remote address exactly.
-        /// - without a remote address: this field is required.
-        ///
-        /// If this value is None, the send operation is equivalent to `send` in POSIX. Otherwise it is equivalent to `sendto`.
-        remote-address: option<ip-socket-address>,
-    }
-
-
-
-    /// A UDP socket handle.
-    resource udp-socket {
-        /// Bind the socket to a specific network on the provided IP address and port.
-        ///
-        /// If the IP address is zero (`0.0.0.0` in IPv4, `::` in IPv6), it is left to the implementation to decide which
-        /// network interface(s) to bind to.
-        /// If the port is zero, the socket will be bound to a random free port.
-        ///
-        /// Unlike in POSIX, this function is async. This enables interactive WASI hosts to inject permission prompts.
-        ///
-        /// # Typical `start` errors
-        /// - `invalid-argument`:          The `local-address` has the wrong address family. (EAFNOSUPPORT, EFAULT on Windows)
-        /// - `invalid-state`:             The socket is already bound. (EINVAL)
-        ///
-        /// # Typical `finish` errors
-        /// - `address-in-use`:            No ephemeral ports available. (EADDRINUSE, ENOBUFS on Windows)
-        /// - `address-in-use`:            Address is already in use. (EADDRINUSE)
-        /// - `address-not-bindable`:      `local-address` is not an address that the `network` can bind to. (EADDRNOTAVAIL)
-        /// - `not-in-progress`:           A `bind` operation is not in progress.
-        /// - `would-block`:               Can't finish the operation, it is still in progress. (EWOULDBLOCK, EAGAIN)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/bind.html>
-        /// - <https://man7.org/linux/man-pages/man2/bind.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-bind>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=bind&sektion=2&format=html>
-        start-bind: func(network: borrow<network>, local-address: ip-socket-address) -> result<_, error-code>;
-        finish-bind: func() -> result<_, error-code>;
-
-        /// Set up inbound & outbound communication channels, optionally to a specific peer.
-        ///
-        /// This function only changes the local socket configuration and does not generate any network traffic.
-        /// On success, the `remote-address` of the socket is updated. The `local-address` may be updated as well,
-        /// based on the best network path to `remote-address`.
-        ///
-        /// When a `remote-address` is provided, the returned streams are limited to communicating with that specific peer:
-        /// - `send` can only be used to send to this destination.
-        /// - `receive` will only return datagrams sent from the provided `remote-address`.
-        ///
-        /// This method may be called multiple times on the same socket to change its association, but
-        /// only the most recently returned pair of streams will be operational. Implementations may trap if
-        /// the streams returned by a previous invocation haven't been dropped yet before calling `stream` again.
-        /// 
-        /// The POSIX equivalent in pseudo-code is:
-        /// ```text
-        /// if (was previously connected) {
-        /// 	connect(s, AF_UNSPEC)
-        /// }
-        /// if (remote_address is Some) {
-        /// 	connect(s, remote_address)
-        /// }
-        /// ```
-        ///
-        /// Unlike in POSIX, the socket must already be explicitly bound.
-        /// 
-        /// # Typical errors
-        /// - `invalid-argument`:          The `remote-address` has the wrong address family. (EAFNOSUPPORT)
-        /// - `invalid-argument`:          `remote-address` is a non-IPv4-mapped IPv6 address, but the socket was bound to a specific IPv4-mapped IPv6 address. (or vice versa)
-        /// - `invalid-argument`:          The IP address in `remote-address` is set to INADDR_ANY (`0.0.0.0` / `::`). (EDESTADDRREQ, EADDRNOTAVAIL)
-        /// - `invalid-argument`:          The port in `remote-address` is set to 0. (EDESTADDRREQ, EADDRNOTAVAIL)
-        /// - `invalid-state`:             The socket is not bound.
-        /// - `address-in-use`:            Tried to perform an implicit bind, but there were no ephemeral ports available. (EADDRINUSE, EADDRNOTAVAIL on Linux, EAGAIN on BSD)
-        /// - `remote-unreachable`:        The remote address is not reachable. (ECONNRESET, ENETRESET, EHOSTUNREACH, EHOSTDOWN, ENETUNREACH, ENETDOWN, ENONET)
-        /// - `connection-refused`:        The connection was refused. (ECONNREFUSED)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/connect.html>
-        /// - <https://man7.org/linux/man-pages/man2/connect.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-connect>
-        /// - <https://man.freebsd.org/cgi/man.cgi?connect>
-        %stream: func(remote-address: option<ip-socket-address>) -> result<tuple<incoming-datagram-stream, outgoing-datagram-stream>, error-code>;
-
-        /// Get the current bound address.
-        ///
-        /// POSIX mentions:
-        /// > If the socket has not been bound to a local name, the value
-        /// > stored in the object pointed to by `address` is unspecified.
-        ///
-        /// WASI is stricter and requires `local-address` to return `invalid-state` when the socket hasn't been bound yet.
-        /// 
-        /// # Typical errors
-        /// - `invalid-state`: The socket is not bound to any local address.
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/getsockname.html>
-        /// - <https://man7.org/linux/man-pages/man2/getsockname.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-getsockname>
-        /// - <https://man.freebsd.org/cgi/man.cgi?getsockname>
-        local-address: func() -> result<ip-socket-address, error-code>;
-
-        /// Get the address the socket is currently streaming to.
-        ///
-        /// # Typical errors
-        /// - `invalid-state`: The socket is not streaming to a specific remote address. (ENOTCONN)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/getpeername.html>
-        /// - <https://man7.org/linux/man-pages/man2/getpeername.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-getpeername>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=getpeername&sektion=2&n=1>
-        remote-address: func() -> result<ip-socket-address, error-code>;
-
-        /// Whether this is a IPv4 or IPv6 socket.
-        ///
-        /// Equivalent to the SO_DOMAIN socket option.
-        address-family: func() -> ip-address-family;
-
-        /// Whether IPv4 compatibility (dual-stack) mode is disabled or not.
-        ///
-        /// Equivalent to the IPV6_V6ONLY socket option.
-        ///
-        /// # Typical errors
-        /// - `not-supported`:        (get/set) `this` socket is an IPv4 socket.
-        /// - `invalid-state`:        (set) The socket is already bound.
-        /// - `not-supported`:        (set) Host does not support dual-stack sockets. (Implementations are not required to.)
-        ipv6-only: func() -> result<bool, error-code>;
-        set-ipv6-only: func(value: bool) -> result<_, error-code>;
-
-        /// Equivalent to the IP_TTL & IPV6_UNICAST_HOPS socket options.
-        ///
-        /// If the provided value is 0, an `invalid-argument` error is returned.
-        ///
-        /// # Typical errors
-        /// - `invalid-argument`:     (set) The TTL value must be 1 or higher.
-        unicast-hop-limit: func() -> result<u8, error-code>;
-        set-unicast-hop-limit: func(value: u8) -> result<_, error-code>;
-
-        /// The kernel buffer space reserved for sends/receives on this socket.
-        ///
-        /// If the provided value is 0, an `invalid-argument` error is returned.
-        /// Any other value will never cause an error, but it might be silently clamped and/or rounded.
-        /// I.e. after setting a value, reading the same setting back may return a different value.
-        ///
-        /// Equivalent to the SO_RCVBUF and SO_SNDBUF socket options.
-        ///
-        /// # Typical errors
-        /// - `invalid-argument`:     (set) The provided value was 0.
-        receive-buffer-size: func() -> result<u64, error-code>;
-        set-receive-buffer-size: func(value: u64) -> result<_, error-code>;
-        send-buffer-size: func() -> result<u64, error-code>;
-        set-send-buffer-size: func(value: u64) -> result<_, error-code>;
-
-        /// Create a `pollable` which will resolve once the socket is ready for I/O.
-        ///
-        /// Note: this function is here for WASI Preview2 only.
-        /// It's planned to be removed when `future` is natively supported in Preview3.
-        subscribe: func() -> pollable;
-    }
-
-    resource incoming-datagram-stream {
-        /// Receive messages on the socket.
-        ///
-        /// This function attempts to receive up to `max-results` datagrams on the socket without blocking.
-        /// The returned list may contain fewer elements than requested, but never more.
-        ///
-        /// This function returns successfully with an empty list when either:
-        /// - `max-results` is 0, or:
-        /// - `max-results` is greater than 0, but no results are immediately available.
-        /// This function never returns `error(would-block)`.
-        ///
-        /// # Typical errors
-        /// - `remote-unreachable`: The remote address is not reachable. (ECONNRESET, ENETRESET on Windows, EHOSTUNREACH, EHOSTDOWN, ENETUNREACH, ENETDOWN, ENONET)
-        /// - `connection-refused`: The connection was refused. (ECONNREFUSED)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/recvfrom.html>
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/recvmsg.html>
-        /// - <https://man7.org/linux/man-pages/man2/recv.2.html>
-        /// - <https://man7.org/linux/man-pages/man2/recvmmsg.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-recv>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock/nf-winsock-recvfrom>
-        /// - <https://learn.microsoft.com/en-us/previous-versions/windows/desktop/legacy/ms741687(v=vs.85)>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=recv&sektion=2>
-        receive: func(max-results: u64) -> result<list<incoming-datagram>, error-code>;
-
-        /// Create a `pollable` which will resolve once the stream is ready to receive again.
-        ///
-        /// Note: this function is here for WASI Preview2 only.
-        /// It's planned to be removed when `future` is natively supported in Preview3.
-        subscribe: func() -> pollable;
-    }
-
-    resource outgoing-datagram-stream {
-        /// Check readiness for sending. This function never blocks.
-        ///
-        /// Returns the number of datagrams permitted for the next call to `send`,
-        /// or an error. Calling `send` with more datagrams than this function has
-        /// permitted will trap.
-        ///
-        /// When this function returns ok(0), the `subscribe` pollable will
-        /// become ready when this function will report at least ok(1), or an
-        /// error.
-        /// 
-        /// Never returns `would-block`.
-        check-send: func() -> result<u64, error-code>;
-
-        /// Send messages on the socket.
-        ///
-        /// This function attempts to send all provided `datagrams` on the socket without blocking and
-        /// returns how many messages were actually sent (or queued for sending). This function never
-        /// returns `error(would-block)`. If none of the datagrams were able to be sent, `ok(0)` is returned.
-        ///
-        /// This function semantically behaves the same as iterating the `datagrams` list and sequentially
-        /// sending each individual datagram until either the end of the list has been reached or the first error occurred.
-        /// If at least one datagram has been sent successfully, this function never returns an error.
-        ///
-        /// If the input list is empty, the function returns `ok(0)`.
-        ///
-        /// Each call to `send` must be permitted by a preceding `check-send`. Implementations must trap if
-        /// either `check-send` was not called or `datagrams` contains more items than `check-send` permitted.
-        ///
-        /// # Typical errors
-        /// - `invalid-argument`:        The `remote-address` has the wrong address family. (EAFNOSUPPORT)
-        /// - `invalid-argument`:        `remote-address` is a non-IPv4-mapped IPv6 address, but the socket was bound to a specific IPv4-mapped IPv6 address. (or vice versa)
-        /// - `invalid-argument`:        The IP address in `remote-address` is set to INADDR_ANY (`0.0.0.0` / `::`). (EDESTADDRREQ, EADDRNOTAVAIL)
-        /// - `invalid-argument`:        The port in `remote-address` is set to 0. (EDESTADDRREQ, EADDRNOTAVAIL)
-        /// - `invalid-argument`:        The socket is in "connected" mode and `remote-address` is `some` value that does not match the address passed to `stream`. (EISCONN)
-        /// - `invalid-argument`:        The socket is not "connected" and no value for `remote-address` was provided. (EDESTADDRREQ)
-        /// - `remote-unreachable`:      The remote address is not reachable. (ECONNRESET, ENETRESET on Windows, EHOSTUNREACH, EHOSTDOWN, ENETUNREACH, ENETDOWN, ENONET)
-        /// - `connection-refused`:      The connection was refused. (ECONNREFUSED)
-        /// - `datagram-too-large`:      The datagram is too large. (EMSGSIZE)
-        ///
-        /// # References
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/sendto.html>
-        /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/sendmsg.html>
-        /// - <https://man7.org/linux/man-pages/man2/send.2.html>
-        /// - <https://man7.org/linux/man-pages/man2/sendmmsg.2.html>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-send>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-sendto>
-        /// - <https://learn.microsoft.com/en-us/windows/win32/api/winsock2/nf-winsock2-wsasendmsg>
-        /// - <https://man.freebsd.org/cgi/man.cgi?query=send&sektion=2>
-        send: func(datagrams: list<outgoing-datagram>) -> result<u64, error-code>;
-        
-        /// Create a `pollable` which will resolve once the stream is ready to send again.
-        ///
-        /// Note: this function is here for WASI Preview2 only.
-        /// It's planned to be removed when `future` is natively supported in Preview3.
-        subscribe: func() -> pollable;
-    }
-}

data/ext/cargo-vendor/wasmtime-wasi-16.0.0/wit/deps/sockets/world.wit

@@ -1,11 +0,0 @@
-package wasi:sockets@0.2.0-rc-2023-11-10;
-
-world imports {
-    import instance-network;
-    import network;
-    import udp;
-    import udp-create-socket;
-    import tcp;
-    import tcp-create-socket;
-    import ip-name-lookup;
-}