def Carrier.replace

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

import Base

3239# The carrier's unrelated fields, followed by `fields`: reversing the loop's
3240# result onto `fields`, also a loop, puts them back in order.
3241def Carrier.replace(carrier: List<&2, Header>, fields: List<&2, Header>) -> List<&2, Header>:
3242  List.reverse.go(&2, Header, Carrier.unrelated.go(carrier, Nil{}), fields)