-
Notifications
You must be signed in to change notification settings - Fork 13k
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
Labels
A-type-system
Area: Type system
Comments
Important, but won't get done for 0.6. De-milestoning |
Nominating for milestone 2, backwards-compatible |
This could be important for #6308, since I imagine some traits will want to extend |
accepted for feature-complete milestone |
This is implemented and there are tests for it in |
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
Need to be able to
trait Foo: Copy { }
.This will need checks to verify that types implementing kinds are actually that kind.
The text was updated successfully, but these errors were encountered: