Skip to content

Better message when illegal moves result from a binding #4715

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
nikomatsakis opened this issue Jan 31, 2013 · 2 comments
Closed

Better message when illegal moves result from a binding #4715

nikomatsakis opened this issue Jan 31, 2013 · 2 comments
Assignees
@nikomatsakis
Labels
A-diagnostics Area: Messages for errors, warnings, and lints A-lifetimes Area: Lifetimes / regions C-enhancement Category: An issue proposing an enhancement or a PR with one.
Milestone
0.7

Comments

@nikomatsakis
Copy link
Contributor

When you have a by-move binding in a match, it causes a move of the discriminant. It'd be nice if any errors resulting from this move identified the binding that caused the move. This requires some modifications to moves (to identify the binding and track it), liveness (to report the error in terms of the binding) and possibly borrowck (which also can report errors related to illegal moves)
@nikomatsakis nikomatsakis mentioned this issue Feb 11, 2013
Closed
@catamorphism
Copy link
Contributor

Seems not critical for 0.7. Nominating for milestone 5, production-ready.

@graydon
Copy link
Contributor

graydon commented May 2, 2013

Accepted for production ready

nikomatsakis added a commit to nikomatsakis/rust that referenced this issue May 22, 2013
@nikomatsakis
Issue rust-lang#4715: Give a better error message when move results f…
82beb8a 
…rom a binding

Fixes rust-lang#4715.
@ghost ghost assigned nikomatsakis May 22, 2013
@nikomatsakis nikomatsakis mentioned this issue May 28, 2013
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nikomatsakis nikomatsakis

Labels
A-diagnostics Area: Messages for errors, warnings, and lints A-lifetimes Area: Lifetimes / regions C-enhancement Category: An issue proposing an enhancement or a PR with one.
Projects
None yet
Milestone
0.7
Development

No branches or pull requests
3 participants
@graydon @nikomatsakis @catamorphism