{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"//"}]}
                    //
                    // are 1, and its ABI class is INTEGER - see Rust Layout and ABIs.
                    // (See https://rust-lang.github.io/unsafe-code-guidelines/layout/scalars.html#bool.)