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.

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

'privileged scope' coherence checks must extend to trait supertypes #4006

Closed
brson opened this issue Nov 20, 2012 · 1 comment
Closed

'privileged scope' coherence checks must extend to trait supertypes #4006

brson opened this issue Nov 20, 2012 · 1 comment
Assignees
@brson
Labels
A-linkage Area: linking into static, shared libraries and binaries A-trait-system Area: Trait system
Milestone
0.5

Comments

@brson
Copy link
Contributor

brson commented Nov 20, 2012

trait B: A;

If A is not defined our crate then we must define the type when implementing B.
@ghost ghost assigned brson Nov 20, 2012
@brson
Copy link
Contributor Author

brson commented Nov 29, 2012

This is no longer true because an impl of B is not an impl of A

@brson brson closed this as completed Nov 29, 2012
@mbrubeck mbrubeck mentioned this issue Jul 13, 2017
Closed
RalfJung added a commit to RalfJung/rust that referenced this issue Dec 8, 2024
@RalfJung
Merge pull request rust-lang#4006 from JoJoDeveloping/tb-fix-3846-retag
599aef2 
Fix rust-lang#3846 properly, so that subtrees can be skipped again
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@brson brson

Labels
A-linkage Area: linking into static, shared libraries and binaries A-trait-system Area: Trait system
Projects
None yet
Milestone
0.5
Development

No branches or pull requests
1 participant
@brson