Type Alias: Assignable<Super, Sub>

Assignable<Super, Sub> = Sub extends Super ? Super : never

Defined in: index.ts:51

Type-level assertion, used as a generic argument: Assignable<Super, Sub> evaluates to Super, but fails to type-check unless Sub is assignable to Super. A consumer instantiates the relay as createRoomRelayBackend<Assignable<WireMessage, RoomServerFrame>>(…), which still sets M = WireMessage while proving — at the call site, with no unused binding — that the core's cast of a built server frame to M is sound.

Type Parameters

Super

Super

Sub

Sub extends Super