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

Hierarchy of Sized traits #3729

Open
wants to merge 61 commits into
base: master
Choose a base branch
from
+1,868 −0
Open

Hierarchy of Sized traits #3729

Changes from 55 commits
Commits
Show all changes
61 commits
Select commit Hold shift + click to select a range
45d9eac
hierarchy of sized traits
davidtwco Oct 4, 2024
dedc078
updates from EuroRust discussions
davidtwco Oct 14, 2024
2eaaddb
updates post niko-discussion
davidtwco Oct 16, 2024
20e7454
add reasoning about constness
davidtwco Oct 17, 2024
8a8c5a9
add diamond hierarchy
davidtwco Oct 17, 2024
592d192
using const traits
davidtwco Oct 21, 2024
9eecd57
improved diagram
davidtwco Oct 22, 2024
55b8779
address review comments
davidtwco Oct 30, 2024
7849df0
future possibility for externref
davidtwco Nov 12, 2024
f5a5cfc
dynsized -> valuesized
davidtwco Nov 14, 2024
d222516
"statically known at runtime" -> "runtime constant"
davidtwco Nov 14, 2024
337c2e3
elaborate on determining runtime-sized size
davidtwco Nov 14, 2024
aa2a39b
const-stable size_of_val + ed. migration detail
davidtwco Nov 14, 2024
226ca5f
remove const pointee
davidtwco Nov 14, 2024
a0f7bb7
elaborate on runtime-sized const prohibition
davidtwco Nov 14, 2024
2eae11e
add acknowledgements section
davidtwco Nov 14, 2024
dcf2b84
mention PhantomData
davidtwco Nov 14, 2024
487de4d
mention extension options
davidtwco Nov 14, 2024
26f0ace
move to correct filename
davidtwco Nov 15, 2024
a840d8b
correct Copy is a subtrait of Sized
davidtwco Nov 15, 2024
260c980
correct supertrait/subtrait
davidtwco Nov 16, 2024
95a1b7d
remove rust= from code blocks
davidtwco Nov 16, 2024
b670517
correct usage of const trait
davidtwco Nov 16, 2024
b8ea881
mention context for dynamic stack allocation
davidtwco Nov 16, 2024
a703feb
use current const trait syntax
davidtwco Nov 16, 2024
fad04b0
correct incorrect syntax
davidtwco Nov 16, 2024
2fb3aaa
list all alternate bounds
davidtwco Nov 16, 2024
23cb8a2
mention ?Trait being accepted for non-Sized
davidtwco Nov 16, 2024
0c2f6e6
use distinct Pointee trait
davidtwco Nov 16, 2024
397e474
correct bound in size_of_val description
davidtwco Nov 16, 2024
6c1482b
update info about size_of_val and align_of_val
davidtwco Nov 16, 2024
1f85898
correct extern types in structs
davidtwco Nov 16, 2024
5f4b8ff
elaborate on implicit relaxation
davidtwco Nov 18, 2024
ab8e7f6
further clarify ?Sized alternative
davidtwco Nov 19, 2024
b050c2b
reword references to relaxed bounds
davidtwco Nov 19, 2024
432a77a
strengthen drawback of implicit relaxation
davidtwco Nov 19, 2024
98af888
mention rfl want
davidtwco Nov 19, 2024
60eab1a
weaken language around externref
davidtwco Nov 19, 2024
6e124e5
further extend ?sized alternatives
davidtwco Nov 19, 2024
4faeb83
remove implicit relaxation terminology
davidtwco Nov 19, 2024
b4258c7
mention backwards incompatiblity with trait methods
davidtwco Nov 25, 2024
61f8d6d
changed aligned future possibility
davidtwco Nov 25, 2024
9158ebb
elaborate on implicit supertrait
davidtwco Nov 25, 2024
b71401c
elaborate further on implicit supertraits
davidtwco Nov 26, 2024
c9e71bd
add alternative about metasized/mutexes
davidtwco Nov 26, 2024
5573be7
further further elaboration on implicit supertraits
davidtwco Nov 27, 2024
2831cca
fix heading level of alternative
davidtwco Nov 27, 2024
ef2f5cd
elaborate on metasized and unsafecell
davidtwco Nov 29, 2024
145446d
clarify return types
davidtwco Nov 29, 2024
b620534
clarify that non-const sized is not nameable
davidtwco Dec 2, 2024
02d1759
clarify which pointee
davidtwco Dec 2, 2024
8cbaef9
clarify relaxed bounds tables
davidtwco Dec 2, 2024
72743b6
further clarifications around relaxed bounds
davidtwco Dec 2, 2024
9fd3dff
runtime-sized in const is unsound
davidtwco Dec 2, 2024
462d016
clarify wording of unresolved metasized question
davidtwco Dec 2, 2024
57b9a85
replace valuesized with metasized
davidtwco Dec 9, 2024
aa21450
elaborate on backwards incompat with methods
davidtwco Dec 9, 2024
c0ee97d
match indentation in code blocks
davidtwco Dec 9, 2024
7a11fe9
fix list of when traits are implemented
davidtwco Dec 12, 2024
762c6d8
add example of clone supertrait relaxation
davidtwco Dec 12, 2024
52b776f
rationale for delaying size_of bound relaxation
davidtwco Dec 17, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading