This read is the page's whole input; say so on the type.
Review
work/review-page·1 round 1 reply to read·1 open←→ step commits · shift←→ step comments · a all changes · j pick a commit · click any line to comment
main is 3 commits behind upstream, so this diff may include work already on main. (fatal: could not resolve host: github.com)
open wire.ts ยท line 199 not drawn: the file content is not in hand
| @@ -189,6 +189,7 @@ | |||
| 190 | key: string | null; | 190 | key: string | null; |
| 191 | /** Whether this seat's | ||
| 192 | * rides the snapshot. */ | ||
|
open
wire.ts · line 199
you
edit
respond
resolve
delete
Respond to this thread...
send
cancel
|
|||
| 194 | export type ReadWire<T> = | ||
| 195 | | { outcome: 'read'; value: T } | ||
|
client/src/session/wire.ts · line 199
Comment on this line...
comment
cancel
client/src/session/wire.ts · line 199
0:07
2 ready
412 fr
251.5 KB
32 KB/s
✕
comment
cancel
|
|||
| @@ -240,5 +242,5 @@ | |||
| 242 | const held = read.wire; | 242 | const held = read.wire; |
| 243 | const reviews = held.reviews; | ||
Outdated 1
export type ReadWire<T> =
| { outcome: 'read'; value: T }
| { outcome: 'failed'; value: string }
The unknown-outcome arm needs to survive the parse - a read that answered something is not a failed one.
Rounds newest first
First pass: the signature and the doc comment.
The header says Review but the seat it belongs to is only in the back link. Name the seat here too?
Named it - the header now carries the branch beside the title. The E0038 was the object-safety change; #[async_trait] is back on the trait.
This counts waits and opens; should it also say how many rounds are unsettled?
Finish
Comments written on the diff file into the next round when you finish the review.
Before the diff
Reading the base for the diff...
The page's own read builds the record and checks the base before it draws the diff; only a seat with no session waits on that check, since nothing else would deliver it. While it works this line is the whole page; a refusal takes its place in the server's own words.