From 42eca32641a46007cea57d8426bbce135fcf65db Mon Sep 17 00:00:00 2001 From: Bryan Parno Date: Thu, 19 Dec 2024 14:12:59 -0500 Subject: [PATCH] More forms of extensional equality --- crates/syntax/src/ast/expr_ext.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/syntax/src/ast/expr_ext.rs b/crates/syntax/src/ast/expr_ext.rs index 03f03228f529..84ad6c97da69 100644 --- a/crates/syntax/src/ast/expr_ext.rs +++ b/crates/syntax/src/ast/expr_ext.rs @@ -166,6 +166,7 @@ impl ast::BinExpr { T![<==]=> BinaryOp::LogicOp(LogicOp::RevImply), T![==] => BinaryOp::CmpOp(CmpOp::Eq { negated: false }), + T![=~=] | T![=~~=] | T![===] => BinaryOp::CmpOp(CmpOp::Eq { negated: false }), // verus: TODO: Do we need a separate operator for extensional equality? T![!=] => BinaryOp::CmpOp(CmpOp::Eq { negated: true }), T![<=] => BinaryOp::CmpOp(CmpOp::Ord { ordering: Ordering::Less, strict: false }), T![>=] => BinaryOp::CmpOp(CmpOp::Ord { ordering: Ordering::Greater, strict: false }),