Build fails with !is token in spec/proof mode. #1573
Description
Building using cargo build fails related to !is syntax in spec/proof mode.
Verus
Version: 0.2025.04.03.0f22710
Profile: release
Platform: linux_x86_64
Toolchain: 1.82.0-x86_64-unknown-linux-gnu
Minimal example:
enum Test {
A,
B,
C
}
spec fn is_not_a(t: Test) -> bool {
t !is A
}
spec fn is_a(t: Test) -> bool {
t is A
}output:
error: expected delimiter
--> src/lib.rs:104:11
|
104 | t !is A
| ^