{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
                    // Since #118032, char is guaranteed to have the same size, alignment, and
                if self.options.contains(EncodeTyOptions::NORMALIZE_INTEGERS) {
                    // function call ABI as u32 on all platforms.