pub fn mark_preempted(winner: Opt, loser: Opt)Expand description
Record that winner took precedence over loser here — the exact spot the
code skips one optimization for another (the conflict, traced at its source,
the same way mark_fired traces firing). No-op when no trace is active, so
the normal compile path and the benchmark scripts pay nothing. Self-gated on
BOTH being enabled in the current config: a preemption is only meaningful when
the two genuinely contest an instance — so toggling either off cleanly stops
the edge from being reported.