@@ -412,7 +412,7 @@ export class WebSocketManager {
412412 }
413413 default : {
414414 // Enforce that the switch-case is exhaustive.
415- const _ : never = this . socket ;
415+ this . socket satisfies never ;
416416 }
417417 }
418418 }
@@ -457,7 +457,7 @@ export class WebSocketManager {
457457 }
458458 default : {
459459 // Enforce that the switch-case is exhaustive.
460- const _ : never = this . socket ;
460+ this . socket satisfies never ;
461461 return Promise . resolve ( ) ;
462462 }
463463 }
@@ -483,7 +483,7 @@ export class WebSocketManager {
483483 }
484484 default : {
485485 // Enforce that the switch-case is exhaustive.
486- const _ : never = this . socket ;
486+ this . socket satisfies never ;
487487 throw new Error (
488488 `Invalid websocket state: ${ ( this . socket as any ) . state } ` ,
489489 ) ;
@@ -506,7 +506,7 @@ export class WebSocketManager {
506506 }
507507 default : {
508508 // Enforce that the switch-case is exhaustive.
509- const _ : never = this . socket ;
509+ this . socket satisfies never ;
510510 return Promise . resolve ( ) ;
511511 }
512512 }
@@ -528,7 +528,7 @@ export class WebSocketManager {
528528 return ;
529529 default : {
530530 // Enforce that the switch-case is exhaustive.
531- const _ : never = this . socket ;
531+ this . socket satisfies never ;
532532 }
533533 }
534534 this . connect ( ) ;
@@ -548,7 +548,7 @@ export class WebSocketManager {
548548 }
549549 default : {
550550 // Enforce that the switch-case is exhaustive.
551- const _ : never = this . socket ;
551+ this . socket satisfies never ;
552552 return ;
553553 }
554554 }
@@ -581,7 +581,7 @@ export class WebSocketManager {
581581 return ;
582582 default : {
583583 // Enforce that the switch-case is exhaustive.
584- const _ : never = this . socket ;
584+ this . socket satisfies never ;
585585 }
586586 }
587587 this . connect ( ) ;
0 commit comments