Skip to content
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

+= on unique vectors needs to move RHS or ensure it's copyable #2966

Closed
pcwalton opened this issue Jul 20, 2012 · 2 comments
Closed

+= on unique vectors needs to move RHS or ensure it's copyable #2966

pcwalton opened this issue Jul 20, 2012 · 2 comments
Labels
A-typesystem Area: The type system I-crash Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.
Milestone

Comments

@pcwalton
Copy link
Contributor

Looks like it's not. I lost a lot of time debugging a crash in Servo due to this.

@eholk
Copy link
Contributor

eholk commented Jul 20, 2012

This sounds like it's probably related to #2587 and #2548.

@msullivan
Copy link
Contributor

Yeah, I'm pretty sure this is a dupe of those. I'm going to close this.

celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
CBMC provides approximating implementations of these.

Resolves: rust-lang#2966
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-typesystem Area: The type system I-crash Issue: The compiler crashes (SIGSEGV, SIGABRT, etc). Use I-ICE instead when the compiler panics.
Projects
None yet
Development

No branches or pull requests

3 participants