{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"///"}]}
/// must not be changed).
/// produced span a location that would be most useful in practice (the hygiene part of the span
///