{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"//"}]}
//  E0526, // shuffle indices are not constant
//  E0490, // removed: unreachable
//  E0540, // multiple rustc_deprecated attributes