{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"if"}]}
        if self.is_non_native_int_type(a_type) || self.is_non_native_int_type(b_type) {
        let b_type = rhs.get_type();
            // This algorithm is based on compiler-rt's __cmpti2: