def Send.fallback

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

import Base

3677# The fields a message carries when no operation could be generated: the
3678# received pair forwarded unchanged if it can be, and no context fields
3679# otherwise.
3680def Send.fallback(+limits: Limits, received: Maybe<&2, IncomingContext>, error: GenerationError,
3681  +carrier: List<&2, Header>) -> Sent:
3682  match received:
3683    case None{}:
3684      NoContext{Context.clear(carrier), error, NothingKept{}}
3685    case Some{incoming}:
3686      Send.forwarded(Context.forward(limits, incoming, carrier), error, carrier)