-
Notifications
You must be signed in to change notification settings - Fork 13.3k
non-exhaustive match failure in alias::check_for_each #772
New issue
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
Comments
The alias pass is expecting some earlier pass (probably the parser should forbid this) to make sure that only call expressions occur here. |
keeperofdakeys
pushed a commit
to keeperofdakeys/rust
that referenced
this issue
Dec 12, 2017
Bump to 0.2.31
pdietl
pushed a commit
to pdietl/rust
that referenced
this issue
Apr 23, 2020
Add information about || and && to grammar describing `while let`.
ZuseZ4
pushed a commit
to EnzymeAD/rust
that referenced
this issue
Mar 7, 2023
celinval
added a commit
to celinval/rust-dev
that referenced
this issue
Jun 4, 2024
* Fix github links after project repo rename - https://github.com/model-checking/rmc - > https://github.com/model-checking/kani - https://model-checking.github.io/rmc -> https://model-checking.github.io/kani
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
rt: b1ff:main:main: upcall fail 'non-exhaustive match failure', ../src/comp/middle/alias.rs:336
rt: b1ff:main: domain main @0x200b40c root task failed
The proximate cause is that in comp::middle::alias::check_for_each, "alt call.node" has only an "ast::expr_call" arm.
The text was updated successfully, but these errors were encountered: