def Sent.dropped

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

import Base

3876# The keys that truncating the service's state to the output budget dropped
3877# from a new operation's message (see Injection.dropped); none for a
3878# fallback, which sends no state of its own.
3879def Sent.dropped(sent: Sent) -> List<&2, StateKey>:
3880  match sent:
3881    case Fresh{operation, injection}:
3882      Injection.dropped(injection)
3883    case Forwarded{carrier, error}:
3884      Nil{}
3885    case NoContext{carrier, error, reason}:
3886      Nil{}