{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// those virtual `StringId`s point to actual strings.
/// If we are recording only summary data, the ids will point to