Skip to content

Commit

Permalink
correct Copy is a subtrait of Sized
Browse files Browse the repository at this point in the history
Co-authored-by: León Orell Valerian Liehr <me@fmease.dev>
  • Loading branch information
davidtwco and fmease authored Nov 15, 2024
1 parent 26f0ace commit a840d8b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions text/3729-sized-hierarchy.md
Original file line number Diff line number Diff line change
Expand Up @@ -123,8 +123,8 @@ implementations) but this is not supported by the proposed ABI for these types.

However, despite not implementing `Sized`, these are value types which should
implement `Copy` and can be returned from functions, can be variables on the
stack, etc. These types should implement `Copy` but given that `Copy` is a
supertrait of `Sized`, they cannot be `Copy` without being `Sized`, and
stack, etc. These types should implement `Copy` but given that `Sized` is a
supertrait of `Copy`, they cannot be `Copy` without being `Sized`, and
they aren't `Sized`.

Introducing a `const Sized` trait will enable `Copy` to be implemented for
Expand Down

0 comments on commit a840d8b

Please sign in to comment.