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

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

# ".corp" bypasses the subdomains of corp, not corp itself.
law no_proxy_dot_is_subdomains_only:
  {P.Proxy.route("http://proxy:3128", ".corp", "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