{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
/// the `local_id` part of the `HirId` changing, which is a very useful property in
/// around within the source code, or add or remove stuff before it, without
/// incremental compilation where we have to persist things through changes to