def rule_defect

bend-schema-lib@0.4.1.0 · core.bend:1062

import Base

1062def rule_defect(m: Maybe<&2, Err>, +p: List<&2, Step>) -> Maybe<&2, Why>:
1063  match m:
1064    case Some{Err{q, w}}:
1065      guard(path_eq(q, p), Some{w})
1066    case None{}:
1067      None{}