Re:Linear types can change the world (1990) [pdf]
by carry_bit on Tuesday January 09, 2018 @04:16PM
(#16110176)
headers_mut is only defined on Request<Fresh>, and you can only write body data using Request<Streaming>. This makes it so it's a type error to try to modify the headers after you already sent them.
[ Parent
| on HN ]
There are no comments on this comment yet.