TraceContext.Unforwarded.show: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3838-3844 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=3838&end_line=3844

import Base

# Why no pair was forwarded: NothingKept, or the ForwardError's name.
def Unforwarded.show(reason: Unforwarded) -> String:
  match reason:
    case NothingKept{}:
      "NothingKept"
    case ForwardFailed{error}:
      ForwardError.show(error)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=ForwardError.show
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Unforwarded