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

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

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

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