law eof_mid_response_is_broken

bend-kube-runtime@0.2.0.0 · LAWS.bend:224

import Base
import bend-kube-runtime@0.2.0.0/src/http.bend as H

224# Bytes of a response make an early end a broken response, never retried.
225law eof_mid_response_is_broken:
226  for b: U32
227  for bs: List<&2, U32>
228  for t: U32
229  for h: Maybe<&2, H.Head>
230  for o: List<&2, U32>
231  {H.Http.eof(H.Resp{H.PHead{b <> bs, t}, h, o})
232    == H.Resp{H.PErr{"connection closed mid-response"}, h, o} : H.Resp}