{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
// https://github.com/rust-lang/rust/pull/81782#issuecomment-784438001 for some
// mechanism. However, for complicated reasons (see
// details) that mechanism doesn't work here. Also, we must use a consistent