def Context.restart_from_ids

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

import Base

751# Start a new trace with supplied IDs instead of continuing a received context.
752# The new trace ID must differ from the received one (ReusedTraceId otherwise),
753# and the restart is the root of its IDs with the sampled indication that it
754# is given: False applies the root defaults, sampled 0 included. Laws:
755# restart, restart_reuse and restart_accepts.
756def Context.restart_from_ids(previous: RemoteContext, +trace_id: TraceId, span_id: SpanId, sampled: Bool) ->
757  Result<&2, &2, ContextError, LocalContext>:
758  Context.restart_from_ids.checked(trace_id, span_id, sampled,
759    TraceId.is_eq(trace_id, RemoteContext.trace_id(previous)))