LAWS.tunnel_end_before_answer: law of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/LAWS.bend as LAWS
Lines 300-304 of bend-kube-runtime@0.2.0.0/LAWS.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/LAWS.bend&start_line=300&end_line=304

import Base
import bend-kube-runtime@0.2.0.0/src/proxy.bend as P

# A proxy that hangs up before its answer is whole fails the tunnel.
law tunnel_end_before_answer:
  for h: List<&2, U32>
  {P.Tunnel.feed(P.TMore{h}, Nil{})
    == P.TFail{"proxy closed the connection before answering CONNECT"} : P.Tunnel}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Tunnel
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Tunnel.feed