def Draw.asserted

bend-trace-context@0.2.0.0 · trace_context.bend:934

import Base

934# Generation reads its words from a source trusted to be random, so each
935# trace ID candidate asserts random-trace-id.
936def Draw.asserted(candidate: Maybe<&2, TraceId>) -> Maybe<&2, TraceId>:
937  match candidate:
938    case None{}:
939      None{}
940    case Some{id}:
941      Some{TraceId.assert_random(id)}