{"ast_node_type":"other","tokens":[{"end":103,"kind":"keyword","start":0,"text":"//"}]}
                // We store a unique number in `force_duplicate` to evade `-Z deduplicate-diagnostics`.
                let span = ecx.cur_span();
                // `new_steps` is guaranteed to be unique because `ecx.machine.num_evaluated_steps` is