{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"rhs"}]}
                    rhs = self.context.new_cast(self.location, rhs, a_type);
                else if format!("{:?}", a_type) != format!("{:?}", b_type) {
                }