law unsupported_proxy_fails

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

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

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

Uses (3)

Used by (0)

No other definition uses this definition.