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

Built-in trait inheritance #3984

Closed
brson opened this issue Nov 16, 2012 · 5 comments
Closed

Built-in trait inheritance #3984

brson opened this issue Nov 16, 2012 · 5 comments
Labels
A-type-system Area: Type system

Comments

@brson
Copy link
Contributor

brson commented Nov 16, 2012

Need to be able to trait Foo: Copy { }.

This will need checks to verify that types implementing kinds are actually that kind.

@catamorphism
Copy link
Contributor

Important, but won't get done for 0.6. De-milestoning

@catamorphism
Copy link
Contributor

Nominating for milestone 2, backwards-compatible

@nikomatsakis
Copy link
Contributor

This could be important for #6308, since I imagine some traits will want to extend Sized

@graydon
Copy link
Contributor

graydon commented Jul 18, 2013

accepted for feature-complete milestone

@thestinger
Copy link
Contributor

This is implemented and there are tests for it in run-pass.

RalfJung added a commit to RalfJung/rust that referenced this issue Oct 27, 2024
Clear `eval_libc` errors from unix shims
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-type-system Area: Type system
Projects
None yet
Development

No branches or pull requests

5 participants