law watch_request_gone_relists

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

import Base
import bend-kube-runtime@0.2.0.0/src/watcher.bend as W

32# So does a watch request the server refuses with 410.
33law watch_request_gone_relists:
34  for rv: String
35  for f: U32
36  for first: Bool
37  {W.Watcher.step(W.WState{W.WWatch{rv}, f, first}, W.IWatchErr{410})
38    == W.Step{W.WState{W.WList{""}, f, True{}}, Nil{}, False{}} : W.Step}