LAWS.unsupported_proxy_fails: law of bend-kube-runtime@0.2.0.0
Import: import bend-kube-runtime@0.2.0.0/LAWS.bend as LAWS
Lines 262-267 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=262&end_line=267

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

# A proxy bend-kube cannot speak fails the connection: it never falls back
# to connecting directly.
law unsupported_proxy_fails:
  for port: U32
  {P.Proxy.route("socks5://proxy:1080", "", "api.example.com", port)
    == P.NoRoute{"HTTPS_PROXY: only http:// proxies are supported"} : P.Route}

Uses (3):
  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=Proxy.route
  https://jend.leeeet.dev/definition.txt?path=bend-kube-runtime@0.2.0.0/src/proxy.bend&name=Route