{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
            /// (in contrast to `check_item`, which is checked before).
            /// This is called *after* recursing into the item
            fn check_item_post(a: &rustc_ast::Item);