law proxy_skips_loopback

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

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

245law proxy_skips_loopback:
246  for url: String
247  for no: String
248  for port: U32
249  {P.Proxy.route(url, no, "127.0.0.1", port) == P.Direct{} : P.Route}