law no_proxy_port_narrows

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

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

280# An entry with a port bypasses only that port.
281law no_proxy_port_narrows:
282  {P.Proxy.route("http://proxy:3128", "api.corp:6443", "api.corp", 443)
283    == P.Via{P.Proxy{"proxy", 3128, ""}} : P.Route}