Skip to content

trans_put 'non-exhaustive match failure' in non-iter fn #774

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.

Sign up for GitHub

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

Jump to bottom
Closed
jruderman opened this issue Jul 29, 2011 · 0 comments
Closed

trans_put 'non-exhaustive match failure' in non-iter fn #774

jruderman opened this issue Jul 29, 2011 · 0 comments
Labels
A-type-system Area: Type system

Comments

@jruderman
Copy link
Contributor 

fn foo() { put() }
fn main() { foo(); }

rt: 0790:main:main: upcall fail 'non-exhaustive match failure', ../src/comp/middle/trans.rs:5523
rt: 0790:main: domain main @0x2008c0c root task failed

Should have been rejected prior to trans, I think.
@ghost ghost assigned msullivan Aug 3, 2011
pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
@steffahn
Fix expression and statement grammar.
6b90080 
Semicolon or comma in expression statements or match arms, respectively, are optional, but part of the statement / match arm.
Also remove a note about proc-macros from the page about BlockExpression.
Closes rust-lang#773 and closes rust-lang#774.
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@wsmoses
Add exp10 (rust-lang#774)
4cedb70
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@zhassan-aws @celinval @tedinski
Hook up __CProver_cover (rust-lang#774)
7bcba5c 
* Hooked up __CProver_cover

* Added documentation for the cover function

Co-authored-by: Celina G. Val <[email protected]>
flip1995 pushed a commit to flip1995/rust that referenced this issue Feb 20, 2025
@llogiq
Add single_option_map lint (rust-lang#14033)
c3239ba 
Checks for functions with method calls to `.map(_)` on an arg of type
`Option` as the outermost expression.

Fixes rust-lang#774
```
changelog: [`single_option_map`]: Checks for functions with method calls to `.map(_)` on an arg of type `Option` as the outermost expression.
```
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-type-system Area: Type system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@msullivan @jruderman