{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"if"}]}
                        if intrinsic_name == sym::ptr_offset_from_unsigned {
                        // a < b
                            throw_ub_custom!(