TraceContext.Context.forward: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 3393-3408 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=3393&end_line=3408

import Base

# Forward a received context unchanged into a carrier: its context fields are
# replaced by the traceparent value of the received pair and by its
# tracestate fields joined into one field, and the other fields keep their
# order. The pair must be there, its tracestate must fit the output budget of
# `limits` whole, and both fields must read back under `limits`; otherwise
# forwarding fails with a ForwardError and writes nothing, so a received
# traceparent never travels with an edited or truncated tracestate (W3C 3.4).
# The pair of a context that extraction accepted is refused only when its
# tracestate exceeds the output budget, a context built from parts has no
# pair to forward, and forwarding again into the carrier written gives that
# carrier again.
# Laws: forward_carrier, forward_nothing, forward_from_parts,
# forward_too_large, forward_extracted and forward_idempotent.
def Context.forward(+limits: Limits, incoming: IncomingContext, carrier: List<&2, Header>) ->
  Result<&2, &2, ForwardError, List<&2, Header>>:
  Forward.pair(limits, IncomingContext.received(incoming), carrier)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=Forward.pair
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=ForwardError
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=IncomingContext
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=IncomingContext.received
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Limits