feat: Increase specificity of WebSocket.readyState

tpict · tpict · commit 4e07db791045 · 2025-08-06T09:44:42.000-04:00
diff --git a/baselines/dom.generated.d.ts b/baselines/dom.generated.d.ts
@@ -36713,7 +36713,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/serviceworker.generated.d.ts b/baselines/serviceworker.generated.d.ts
@@ -10486,7 +10486,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/sharedworker.generated.d.ts b/baselines/sharedworker.generated.d.ts
@@ -10029,7 +10029,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/ts5.5/dom.generated.d.ts b/baselines/ts5.5/dom.generated.d.ts
@@ -36690,7 +36690,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/ts5.5/serviceworker.generated.d.ts b/baselines/ts5.5/serviceworker.generated.d.ts
@@ -10486,7 +10486,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/ts5.5/sharedworker.generated.d.ts b/baselines/ts5.5/sharedworker.generated.d.ts
@@ -10029,7 +10029,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/ts5.5/webworker.generated.d.ts b/baselines/ts5.5/webworker.generated.d.ts
@@ -11920,7 +11920,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/ts5.6/dom.generated.d.ts b/baselines/ts5.6/dom.generated.d.ts
@@ -36713,7 +36713,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/ts5.6/serviceworker.generated.d.ts b/baselines/ts5.6/serviceworker.generated.d.ts
@@ -10486,7 +10486,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/ts5.6/sharedworker.generated.d.ts b/baselines/ts5.6/sharedworker.generated.d.ts
@@ -10029,7 +10029,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/ts5.6/webworker.generated.d.ts b/baselines/ts5.6/webworker.generated.d.ts
@@ -11920,7 +11920,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/baselines/webworker.generated.d.ts b/baselines/webworker.generated.d.ts
@@ -11920,7 +11920,7 @@ interface WebSocket extends EventTarget {
      *
      * [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)
      */
-    readonly readyState: number;
+    readonly readyState: typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED;
     /**
      * The **`WebSocket.url`** read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
      *
diff --git a/inputfiles/overridingTypes.jsonc b/inputfiles/overridingTypes.jsonc
@@ -1962,6 +1962,14 @@
                             "type": "MessageEvent"
                         }
                     ]
+                },
+                "properties": {
+                    "property": {
+                        "readyState": {
+                            "name": "readyState",
+                            "overrideType": "typeof WebSocket.CONNECTING | typeof WebSocket.OPEN | typeof WebSocket.CLOSING | typeof WebSocket.CLOSED"
+                        }
+                    }
                 }
             },
             "WebTransportDatagramDuplexStream": {

Original file line number	Diff line number	Diff line change
`@@ -36713,7 +36713,7 @@ interface WebSocket extends EventTarget {`
`36713`	`36713`	`*`
`36714`	`36714`	`* [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)`
`36715`	`36715`	`*/`
`36716`		`- readonly readyState: number;`
	`36716`	`+ readonly readyState: typeof WebSocket.CONNECTING \| typeof WebSocket.OPEN \| typeof WebSocket.CLOSING \| typeof WebSocket.CLOSED;`
`36717`	`36717`	`/**`
`36718`	`36718`	* The `WebSocket.url` read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
`36719`	`36719`	`*`
Original file line number	Diff line number	Diff line change
`@@ -10486,7 +10486,7 @@ interface WebSocket extends EventTarget {`
`10486`	`10486`	`*`
`10487`	`10487`	`* [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)`
`10488`	`10488`	`*/`
`10489`		`- readonly readyState: number;`
	`10489`	`+ readonly readyState: typeof WebSocket.CONNECTING \| typeof WebSocket.OPEN \| typeof WebSocket.CLOSING \| typeof WebSocket.CLOSED;`
`10490`	`10490`	`/**`
`10491`	`10491`	* The `WebSocket.url` read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
`10492`	`10492`	`*`
Original file line number	Diff line number	Diff line change
`@@ -10029,7 +10029,7 @@ interface WebSocket extends EventTarget {`
`10029`	`10029`	`*`
`10030`	`10030`	`* [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)`
`10031`	`10031`	`*/`
`10032`		`- readonly readyState: number;`
	`10032`	`+ readonly readyState: typeof WebSocket.CONNECTING \| typeof WebSocket.OPEN \| typeof WebSocket.CLOSING \| typeof WebSocket.CLOSED;`
`10033`	`10033`	`/**`
`10034`	`10034`	* The `WebSocket.url` read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
`10035`	`10035`	`*`
Original file line number	Diff line number	Diff line change
`@@ -36690,7 +36690,7 @@ interface WebSocket extends EventTarget {`
`36690`	`36690`	`*`
`36691`	`36691`	`* [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)`
`36692`	`36692`	`*/`
`36693`		`- readonly readyState: number;`
	`36693`	`+ readonly readyState: typeof WebSocket.CONNECTING \| typeof WebSocket.OPEN \| typeof WebSocket.CLOSING \| typeof WebSocket.CLOSED;`
`36694`	`36694`	`/**`
`36695`	`36695`	* The `WebSocket.url` read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
`36696`	`36696`	`*`
Original file line number	Diff line number	Diff line change
`@@ -11920,7 +11920,7 @@ interface WebSocket extends EventTarget {`
`11920`	`11920`	`*`
`11921`	`11921`	`* [MDN Reference](https://developer.mozilla.org/docs/Web/API/WebSocket/readyState)`
`11922`	`11922`	`*/`
`11923`		`- readonly readyState: number;`
	`11923`	`+ readonly readyState: typeof WebSocket.CONNECTING \| typeof WebSocket.OPEN \| typeof WebSocket.CLOSING \| typeof WebSocket.CLOSED;`
`11924`	`11924`	`/**`
`11925`	`11925`	* The `WebSocket.url` read-only property returns the absolute URL of the WebSocket as resolved by the constructor.
`11926`	`11926`	`*`