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

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

# "corp" bypasses corp and its subdomains, never a name that merely ends
# in the same letters.
law no_proxy_respects_labels:
  {P.Proxy.route("http://proxy:3128", "corp", "evilcorp", 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