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

Adjust example for error E0225 #33039

Merged
merged 1 commit into from
Apr 17, 2016
Merged

Adjust example for error E0225 #33039

merged 1 commit into from
Apr 17, 2016

Conversation

bluss
Copy link
Member

@bluss bluss commented Apr 16, 2016

Adjust example for error E0225

It's using Copy as a trait object compatible trait, which is not
appropriate, change to use a more typical Read + Send + Sync example.

Also use whitespace around +.

This seems appropriate apropos issue #32963

It's using Copy as a trait object compatible trait, which is not
appropriate, change to use a more typical Read + Send + Sync example.

Also use whitespace around `+`.
@rust-highfive
Copy link
Collaborator

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@arielb1
Copy link
Contributor

arielb1 commented Apr 16, 2016

@bors r+ rollup

@bors
Copy link
Contributor

bors commented Apr 16, 2016

📌 Commit 869536e has been approved by arielb1

Manishearth added a commit to Manishearth/rust that referenced this pull request Apr 17, 2016
Adjust example for error E0225

Adjust example for error E0225

It's using Copy as a trait object compatible trait, which is not
appropriate, change to use a more typical Read + Send + Sync example.

Also use whitespace around `+`.

This seems appropriate apropos issue rust-lang#32963
bors added a commit that referenced this pull request Apr 17, 2016
Rollup of 10 pull requests

- Successful merges: #31441, #32956, #33003, #33022, #33023, #33032, #33039, #33044, #33045, #33046
- Failed merges:
@bors bors merged commit 869536e into rust-lang:master Apr 17, 2016
@bluss bluss deleted the trait-obj-error branch April 17, 2016 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants