{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
/// if at the end of a line, or incorrectly sized if followed by another
/// Trailing whitespace is sometimes desired but usually stripped by the editor
/// annotation. In those cases the annotation can be explicitly ended with the