{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
    // If not, that means that we somehow buffered a lint for a node id
    // All of the buffered lints should have been emitted at this point.
    // that was not lint-checked (perhaps it doesn't exist?). This is a bug.