From 0e0de69e5a1b6499040d7f3ca814777e6e437742 Mon Sep 17 00:00:00 2001
From: Kevin Moore <kevmoo@users.noreply.github.com>
Date: Wed, 22 Nov 2023 13:32:12 -0800
Subject: [PATCH] Small tweak (dart-lang/web_socket_channel#295)

---
 pkgs/web_socket_channel/lib/html.dart | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/pkgs/web_socket_channel/lib/html.dart b/pkgs/web_socket_channel/lib/html.dart
index 2263e6eea1..6b3ea6ead2 100644
--- a/pkgs/web_socket_channel/lib/html.dart
+++ b/pkgs/web_socket_channel/lib/html.dart
@@ -78,10 +78,7 @@ class HtmlWebSocketChannel extends StreamChannelMixin
       : this(
           WebSocket(
             url.toString(),
-            (protocols?.toList() ?? const <String>[])
-                .map((e) => e.toJS)
-                .toList()
-                .toJS,
+            protocols?.map((e) => e.toJS).toList().toJS ?? JSArray(),
           )..binaryType = (binaryType ?? BinaryType.list).value,
         );