TraceContext.FailurePolicy.result: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3473-3480 of bend-trace-context@0.2.0.0/trace_context.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&start_line=3473&end_line=3480

import Base

# The type an operation returns under `policy`: the value itself with
# Lenient{}, and the value or the GenerationError with Strict{}.
def FailurePolicy.result(policy: FailurePolicy, A: Data) -> Data:
  match policy:
    case Lenient{}:
      A
    case Strict{}:
      Result<&2, &2, GenerationError, A>

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=FailurePolicy
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=GenerationError