We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
enum E { One = 1, Five = 5, } fn fun(e: E) -> i32 { e as i32 }
fails with a subtype mismatch
subtype mismatch: bool (a.k.a. bool) vs: bool_t (a.k.a. bool_t)
The text was updated successfully, but these errors were encountered:
Merge pull request #130 from AeneasVerif/protz_booleans
7b2a183
Fix #122 by using operators that are consistent with the type of the operands
Successfully merging a pull request may close this issue.
fails with a subtype mismatch
The text was updated successfully, but these errors were encountered: