{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
/// Note that we don't need to escape the other characters that can be escaped,
///
/// because they wouldn't be treated as snippet-specific constructs without '$'.