{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
// N.B., If you change this, you'll probably want to change the corresponding
// type structure in `middle/ty.rs` as well.