Struct ConnectionBinder 

pub struct ConnectionBinder {
    pub ty: TyId,
    pub borrowed: bool,
}

P6.13’s real ConnectionBinder ([DECISION G], #1179) — the synthetic leading connection: Connection[out] binding a from websocket lifecycle handler’s body receives, bynk_lower::lower_service_handler_ir’s own return value for exactly the on open/on message/on close handlers of a ServiceProtocol::WebSocket service. Mirrors the checker’s own open_connection_param (bynk-check/src/context_checks.rs:2020-2032): ty is the resolved Ty::Connection(out_ty), always present regardless of handler kind — unlike ActorBinder, there is no None case here, since a websocket lifecycle handler is checker-guaranteed to receive this binding (bynk.service.websocket_open_arity, context_checks.rs:742-763, plus the unconditional injection at context_checks.rs:1944-1954).

Deliberately not folded into IrHandler::params: the checker keeps this binding out of handler.params itself (only params_for_check, a check-local, carries it) — IrHandler::params mirrors h.params exactly for every handler kind, and widening it here would be a real behavior change beyond what this slice asks for, not a faithful mirror of the checker’s own asymmetry. Consumers that need “does this handler have a connection” read IrHandler::connection instead.

borrowed is this slice’s own IR target for the checker’s own owned-vs-borrowed linearity distinction (borrowed_held, context_checks.rs:1955-1963): false for on open (a fresh owned socket the handler must dispose/transfer), true for on message/ on close (the borrowed firing socket, no disposal obligation). A bare bool, not a richer type: borrowed_held itself is only ever a HashSet<String> keyed by binding name on the checker side, so there is no further structure to represent for a type that names exactly one binding ("connection", never persisted as a field here — every reader already knows the name statically, the same reasoning ActorBinder’s own doc comment gives for omitting a redundant discriminant). No dedicated lower_connection_binder_ir constructor, following ActorBinder’s own precedent: the pair has no further structure to derive.

Fields

ty: TyId

borrowed: bool

Trait Implementations

impl Clone for ConnectionBinder

fn clone(&self) -> ConnectionBinder

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ConnectionBinder

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.