11     assert!(matches!(sock.finish_bind(), Err(ErrorCode::NotInProgress)));  in test_tcp_unbound_state_invariants()
13     assert!(matches!(  in test_tcp_unbound_state_invariants()
17     assert!(matches!(  in test_tcp_unbound_state_invariants()
21     assert!(matches!(  in test_tcp_unbound_state_invariants()
25     assert!(matches!(sock.accept(), Err(ErrorCode::InvalidState)));  in test_tcp_unbound_state_invariants()
26     assert!(matches!(  in test_tcp_unbound_state_invariants()
31     assert!(matches!(sock.local_address(), Err(ErrorCode::InvalidState)));  in test_tcp_unbound_state_invariants()
32     assert!(matches!(  in test_tcp_unbound_state_invariants()
39     assert!(matches!(sock.set_listen_backlog_size(32), Ok(_)));  in test_tcp_unbound_state_invariants()
40     assert!(matches!(sock.keep_alive_enabled(), Ok(_)));  in test_tcp_unbound_state_invariants()
41     assert!(matches!(sock.set_keep_alive_enabled(false), Ok(_)));  in test_tcp_unbound_state_invariants()
42     assert!(matches!(sock.keep_alive_idle_time(), Ok(_)));  in test_tcp_unbound_state_invariants()
43     assert!(matches!(sock.set_keep_alive_idle_time(1), Ok(_)));  in test_tcp_unbound_state_invariants()
44     assert!(matches!(sock.keep_alive_interval(), Ok(_)));  in test_tcp_unbound_state_invariants()
45     assert!(matches!(sock.set_keep_alive_interval(1), Ok(_)));  in test_tcp_unbound_state_invariants()
46     assert!(matches!(sock.keep_alive_count(), Ok(_)));  in test_tcp_unbound_state_invariants()
47     assert!(matches!(sock.set_keep_alive_count(1), Ok(_)));  in test_tcp_unbound_state_invariants()
48     assert!(matches!(sock.hop_limit(), Ok(_)));  in test_tcp_unbound_state_invariants()
49     assert!(matches!(sock.set_hop_limit(255), Ok(_)));  in test_tcp_unbound_state_invariants()
50     assert!(matches!(sock.receive_buffer_size(), Ok(_)));  in test_tcp_unbound_state_invariants()
51     assert!(matches!(sock.set_receive_buffer_size(16000), Ok(_)));  in test_tcp_unbound_state_invariants()
52     assert!(matches!(sock.send_buffer_size(), Ok(_)));  in test_tcp_unbound_state_invariants()
53     assert!(matches!(sock.set_send_buffer_size(16000), Ok(_)));  in test_tcp_unbound_state_invariants()
61     assert!(matches!(  in test_tcp_bound_state_invariants()
65     assert!(matches!(sock.finish_bind(), Err(ErrorCode::NotInProgress)));  in test_tcp_bound_state_invariants()
67     assert!(matches!(  in test_tcp_bound_state_invariants()
72     assert!(matches!(  in test_tcp_bound_state_invariants()
76     assert!(matches!(sock.accept(), Err(ErrorCode::InvalidState)));  in test_tcp_bound_state_invariants()
77     assert!(matches!(  in test_tcp_bound_state_invariants()
82     assert!(matches!(sock.local_address(), Ok(_)));  in test_tcp_bound_state_invariants()
83     assert!(matches!(  in test_tcp_bound_state_invariants()
90     assert!(matches!(sock.set_listen_backlog_size(32), Ok(_)));  in test_tcp_bound_state_invariants()
91     assert!(matches!(sock.keep_alive_enabled(), Ok(_)));  in test_tcp_bound_state_invariants()
92     assert!(matches!(sock.set_keep_alive_enabled(false), Ok(_)));  in test_tcp_bound_state_invariants()
93     assert!(matches!(sock.keep_alive_idle_time(), Ok(_)));  in test_tcp_bound_state_invariants()
94     assert!(matches!(sock.set_keep_alive_idle_time(1), Ok(_)));  in test_tcp_bound_state_invariants()
95     assert!(matches!(sock.keep_alive_interval(), Ok(_)));  in test_tcp_bound_state_invariants()
96     assert!(matches!(sock.set_keep_alive_interval(1), Ok(_)));  in test_tcp_bound_state_invariants()
97     assert!(matches!(sock.keep_alive_count(), Ok(_)));  in test_tcp_bound_state_invariants()
98     assert!(matches!(sock.set_keep_alive_count(1), Ok(_)));  in test_tcp_bound_state_invariants()
99     assert!(matches!(sock.hop_limit(), Ok(_)));  in test_tcp_bound_state_invariants()
100     assert!(matches!(sock.set_hop_limit(255), Ok(_)));  in test_tcp_bound_state_invariants()
101     assert!(matches!(sock.receive_buffer_size(), Ok(_)));  in test_tcp_bound_state_invariants()
102     assert!(matches!(sock.set_receive_buffer_size(16000), Ok(_)));  in test_tcp_bound_state_invariants()
103     assert!(matches!(sock.send_buffer_size(), Ok(_)));  in test_tcp_bound_state_invariants()
104     assert!(matches!(sock.set_send_buffer_size(16000), Ok(_)));  in test_tcp_bound_state_invariants()
113     assert!(matches!(  in test_tcp_listening_state_invariants()
117     assert!(matches!(sock.finish_bind(), Err(ErrorCode::NotInProgress)));  in test_tcp_listening_state_invariants()
118     assert!(matches!(  in test_tcp_listening_state_invariants()
122     assert!(matches!(  in test_tcp_listening_state_invariants()
126     assert!(matches!(sock.start_listen(), Err(ErrorCode::InvalidState)));  in test_tcp_listening_state_invariants()
127     assert!(matches!(  in test_tcp_listening_state_invariants()
132     assert!(matches!(  in test_tcp_listening_state_invariants()
137     assert!(matches!(sock.local_address(), Ok(_)));  in test_tcp_listening_state_invariants()
138     assert!(matches!(  in test_tcp_listening_state_invariants()
145     assert!(matches!(  in test_tcp_listening_state_invariants()
149     assert!(matches!(sock.keep_alive_enabled(), Ok(_)));  in test_tcp_listening_state_invariants()
150     assert!(matches!(sock.set_keep_alive_enabled(false), Ok(_)));  in test_tcp_listening_state_invariants()
151     assert!(matches!(sock.keep_alive_idle_time(), Ok(_)));  in test_tcp_listening_state_invariants()
152     assert!(matches!(sock.set_keep_alive_idle_time(1), Ok(_)));  in test_tcp_listening_state_invariants()
153     assert!(matches!(sock.keep_alive_interval(), Ok(_)));  in test_tcp_listening_state_invariants()
154     assert!(matches!(sock.set_keep_alive_interval(1), Ok(_)));  in test_tcp_listening_state_invariants()
155     assert!(matches!(sock.keep_alive_count(), Ok(_)));  in test_tcp_listening_state_invariants()
156     assert!(matches!(sock.set_keep_alive_count(1), Ok(_)));  in test_tcp_listening_state_invariants()
157     assert!(matches!(sock.hop_limit(), Ok(_)));  in test_tcp_listening_state_invariants()
158     assert!(matches!(sock.set_hop_limit(255), Ok(_)));  in test_tcp_listening_state_invariants()
159     assert!(matches!(sock.receive_buffer_size(), Ok(_)));  in test_tcp_listening_state_invariants()
160     assert!(matches!(sock.set_receive_buffer_size(16000), Ok(_)));  in test_tcp_listening_state_invariants()
161     assert!(matches!(sock.send_buffer_size(), Ok(_)));  in test_tcp_listening_state_invariants()
162     assert!(matches!(sock.set_send_buffer_size(16000), Ok(_)));  in test_tcp_listening_state_invariants()
174     assert!(matches!(  in test_tcp_connected_state_invariants()
178     assert!(matches!(sock.finish_bind(), Err(ErrorCode::NotInProgress)));  in test_tcp_connected_state_invariants()
179     assert!(matches!(  in test_tcp_connected_state_invariants()
183     assert!(matches!(  in test_tcp_connected_state_invariants()
187     assert!(matches!(sock.start_listen(), Err(ErrorCode::InvalidState)));  in test_tcp_connected_state_invariants()
188     assert!(matches!(  in test_tcp_connected_state_invariants()
192     assert!(matches!(sock.accept(), Err(ErrorCode::InvalidState)));  in test_tcp_connected_state_invariants()
195     assert!(matches!(sock.local_address(), Ok(_)));  in test_tcp_connected_state_invariants()
196     assert!(matches!(sock.remote_address(), Ok(_)));  in test_tcp_connected_state_invariants()
200     assert!(matches!(sock.keep_alive_enabled(), Ok(_)));  in test_tcp_connected_state_invariants()
201     assert!(matches!(sock.set_keep_alive_enabled(false), Ok(_)));  in test_tcp_connected_state_invariants()
202     assert!(matches!(sock.keep_alive_idle_time(), Ok(_)));  in test_tcp_connected_state_invariants()
203     assert!(matches!(sock.set_keep_alive_idle_time(1), Ok(_)));  in test_tcp_connected_state_invariants()
204     assert!(matches!(sock.keep_alive_interval(), Ok(_)));  in test_tcp_connected_state_invariants()
205     assert!(matches!(sock.set_keep_alive_interval(1), Ok(_)));  in test_tcp_connected_state_invariants()
206     assert!(matches!(sock.keep_alive_count(), Ok(_)));  in test_tcp_connected_state_invariants()
207     assert!(matches!(sock.set_keep_alive_count(1), Ok(_)));  in test_tcp_connected_state_invariants()
208     assert!(matches!(sock.hop_limit(), Ok(_)));  in test_tcp_connected_state_invariants()
209     assert!(matches!(sock.set_hop_limit(255), Ok(_)));  in test_tcp_connected_state_invariants()
210     assert!(matches!(sock.receive_buffer_size(), Ok(_)));  in test_tcp_connected_state_invariants()
211     assert!(matches!(sock.set_receive_buffer_size(16000), Ok(_)));  in test_tcp_connected_state_invariants()
212     assert!(matches!(sock.send_buffer_size(), Ok(_)));  in test_tcp_connected_state_invariants()
213     assert!(matches!(sock.set_send_buffer_size(16000), Ok(_)));  in test_tcp_connected_state_invariants()