{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
/// produced span a location that would be most useful in practice (the hygiene part of the span
/// case however, and there's no place for keeping a second span. So we try to give the single
/// must not be changed).