def nosw

cswap-bend-cli@0.1.0.0 · policy/algo.bend:74

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/decide.bend as D

74# Nothing qualified: the reason `best` would give. The decision is rebuilt as
75# a NoSwitch whatever `d` is, so no proof has to look inside `D.none.cf`.
76def nosw(+d: T.Decision) -> T.Decision:
77  match d:
78    case T.NoSwitch{r, detail}:
79      T.NoSwitch{r, detail}
80    case o:
81      T.NoSwitch{T.NoCandidates{}, ""}