def missing_or

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

import Base

774# The reason a value that is not the shape is refused, at the place it was
775# found: an absent slot is Missing, a node the host refused to build (RTooBig)
776# is TooLarge, anything else is the schema kind's own reason. check and the
777# defect helpers both answer through here, so the reason a path reports is the
778# same one for both.
779def missing_or(r: Raw, w: Why) -> Why:
780  match r:
781    case RMissing{}:
782      Missing{}
783    case RTooBig{}:
784      TooLarge{}
785    case _:
786      w