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
tag chan { chan_t; } fn wrapper3(i: chan) { log_err i; assert i == chan_t; } fn main() { wrapper3(chan_t); }
log displays a number that looks like garbage and the assert fails. Possibly the same issue as #1034
The text was updated successfully, but these errors were encountered:
Actually, I don't know whether i is passed by-ref, but I remember when I changed the passing convention it worked.
Sorry, something went wrong.
e4c91fd
Use uppercase for const generic parameters (rust-lang#1035)
46efde1
Add support to typedef in cprover bindings crate (rust-lang#1035)
0a7661c
* Add support to typedef in cprover bindings crate * Address comments + more tests
No branches or pull requests
log displays a number that looks like garbage and the assert fails. Possibly the same issue as #1034
The text was updated successfully, but these errors were encountered: