Drop some use of !

Use an if-case and destructure to new local variables to avoid some throw-if-null operator usage.
dart-lang · Nov 22, 2023 · 9384b41 · 9384b41
1 parent d4a8d70
commit 9384b41
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/lib/html.dart b/lib/html.dart
@@ -145,10 +145,11 @@ class HtmlWebSocketChannel extends StreamChannelMixin
       // On Chrome and possibly other browsers, `null` can't be passed as the
       // default here. The actual arity of the function call must be correct or
       // it will fail.
-      if (_localCloseCode != null && _localCloseReason != null) {
-        innerWebSocket.close(_localCloseCode!, _localCloseReason!);
-      } else if (_localCloseCode != null) {
-        innerWebSocket.close(_localCloseCode!);
+      if ((_localCloseCode, _localCloseReason)
+          case (final closeCode?, final closeReason?)) {
+        innerWebSocket.close(closeCode, closeReason);
+      } else if (_localCloseCode case final closeCode?) {
+        innerWebSocket.close(closeCode);
       } else {
         innerWebSocket.close();
       }