{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"),"}]}
    ),
        EncodeCrossCrate::Yes, "`#[rustc_do_not_const_check]` skips const-check for this function's body",
    rustc_attr!(