{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
// should remain private to hir internals.
// These are negative re-exports: pub using these names is forbidden, they
#[allow(unused)]