Repository navigation

Hierarchy of Sized traits - #3729

Open

davidtwco wants to merge 80 commits into

rust-lang:mainfrom

davidtwco:sized-hierarchy

Open

Hierarchy of Sized traits#3729
davidtwco wants to merge 80 commits into
rust-lang:mainfrom
davidtwco:sized-hierarchy

Commits on Nov 14, 2024
- hierarchy of sized traits
  davidtwco
  committed
  45d9eac
- updates from EuroRust discussions
  davidtwco
  committed
  dedc078
- updates post niko-discussion
  davidtwco
  committed
  2eaaddb
- add reasoning about constness
  davidtwco
  committed
  20e7454
- add diamond hierarchy
  davidtwco
  committed
  8a8c5a9
- using const traits
  davidtwco
  committed
  592d192
- improved diagram
  davidtwco
  committed
  9eecd57
- address review comments
  davidtwco
  committed
  55b8779
- future possibility for externref
  davidtwco
  committed
  7849df0
- dynsized -> valuesized
  davidtwco
  committed
  f5a5cfc
- "statically known at runtime" -> "runtime constant"
  davidtwco
  committed
  d222516
Commits on Nov 15, 2024
- elaborate on determining runtime-sized size
  davidtwco
  committed
  337c2e3
- const-stable size_of_val + ed. migration detail
  davidtwco
  committed
  aa2a39b
- remove const pointee
  davidtwco
  committed
  226ca5f
- elaborate on runtime-sized const prohibition
  davidtwco
  committed
  a0f7bb7
- add acknowledgements section
  davidtwco
  committed
  2eae11e
- mention PhantomData
  davidtwco
  committed
  dcf2b84
- mention extension options
  davidtwco
  committed
  487de4d
- move to correct filename
  davidtwco
  committed
  26f0ace
- correct Copy is a subtrait of Sized
  
  davidtwco
  and
  fmease
  authored
  a840d8b
Commits on Nov 16, 2024
- correct supertrait/subtrait
  
  davidtwco
  and
  fmease
  authored
  260c980
- remove rust= from code blocks
  davidtwco
  committed
  95a1b7d
- correct usage of const trait
  davidtwco
  committed
  b670517
- mention context for dynamic stack allocation
  davidtwco
  committed
  b8ea881
- use current const trait syntax
  davidtwco
  committed
  a703feb
- correct incorrect syntax
  davidtwco
  committed
  fad04b0
- list all alternate bounds
  davidtwco
  committed
  2fb3aaa
- mention ?Trait being accepted for non-Sized
  davidtwco
  committed
  23cb8a2
Commits on Nov 18, 2024
- use distinct Pointee trait
  davidtwco
  committed
  0c2f6e6
- correct bound in size_of_val description
  davidtwco
  committed
  397e474
- update info about size_of_val and align_of_val
  davidtwco
  committed
  6c1482b
- correct extern types in structs
  davidtwco
  committed
  1f85898
- elaborate on implicit relaxation
  davidtwco
  committed
  5f4b8ff
Commits on Nov 19, 2024
- further clarify ?Sized alternative
  davidtwco
  committed
  ab8e7f6
- reword references to relaxed bounds
  davidtwco
  committed
  b050c2b
- strengthen drawback of implicit relaxation
  davidtwco
  committed
  432a77a
- mention rfl want
  davidtwco
  committed
  98af888
- weaken language around externref
  davidtwco
  committed
  60eab1a
- further extend ?sized alternatives
  davidtwco
  committed
  6e124e5
- remove implicit relaxation terminology
  davidtwco
  committed
  4faeb83
Commits on Nov 25, 2024
- mention backwards incompatiblity with trait methods
  davidtwco
  committed
  b4258c7
- changed aligned future possibility
  davidtwco
  committed
  61f8d6d
- elaborate on implicit supertrait
  davidtwco
  committed
  9158ebb
Commits on Nov 26, 2024
- elaborate further on implicit supertraits
  davidtwco
  committed
  b71401c
- add alternative about metasized/mutexes
  davidtwco
  committed
  c9e71bd
Commits on Nov 27, 2024
- further further elaboration on implicit supertraits
  davidtwco
  committed
  5573be7
- fix heading level of alternative
  davidtwco
  committed
  2831cca
Commits on Nov 29, 2024
- elaborate on metasized and unsafecell
  davidtwco
  committed
  ef2f5cd
- clarify return types
  davidtwco
  committed
  145446d
Commits on Dec 2, 2024
- clarify that non-const sized is not nameable
  davidtwco
  committed
  b620534
- clarify which pointee
  davidtwco
  committed
  02d1759
- clarify relaxed bounds tables
  davidtwco
  committed
  8cbaef9
- further clarifications around relaxed bounds
  davidtwco
  committed
  72743b6
- runtime-sized in const is unsound
  davidtwco
  committed
  9fd3dff
- clarify wording of unresolved metasized question
  davidtwco
  committed
  462d016
Commits on Dec 9, 2024
- replace valuesized with metasized
  davidtwco
  committed
  57b9a85
- elaborate on backwards incompat with methods
  davidtwco
  committed
  aa21450
- match indentation in code blocks
  davidtwco
  committed
  c0ee97d
Commits on Dec 12, 2024
- fix list of when traits are implemented
  davidtwco
  committed
  7a11fe9
- add example of clone supertrait relaxation
  davidtwco
  committed
  762c6d8
Commits on Dec 17, 2024
- rationale for delaying size_of bound relaxation
  davidtwco
  committed
  52b776f
Commits on Jan 8, 2025
- s/alignment/size
  davidtwco
  committed
  5d602fb
- add unresolved question for `std::ptr::Pointee` use
  davidtwco
  committed
  d6d73b2
- clarify that pointee is not semantically necessary
  davidtwco
  committed
  f26784b
Commits on Jan 24, 2025
- reference const traits RFC
  davidtwco
  committed
  edec592
Commits on Feb 5, 2025
- fix broken link
  davidtwco
  committed
  19469dc
- fix incorrect indentation
  davidtwco
  committed
  0f9ec84
Commits on Feb 6, 2025
- further reinforce necessity of const traits
  davidtwco
  committed
  7b99ac6
- note possibility for backwards incompatibility
  davidtwco
  committed
  6533e10
- describe incremental stabilisation
  davidtwco
  committed
  96a70f9
- add new alternative enabling `ptr::Pointer` reuse
  davidtwco
  committed
  bef7459
- document lang team perspectives from design meeting
  davidtwco
  committed
  5806017
Commits on Feb 7, 2025
- note that const traits is not a strict dependency
  davidtwco
  committed
  4ba5b07
Commits on Feb 23, 2025
- describe properties of sized types
  davidtwco
  committed
  544a788
- pointee can be an absense of bounds as impl detail
  davidtwco
  committed
  d3fd7e8
- reword w/ `?Trait` prohibited
  davidtwco
  committed
  9ca271b
- change implicit supertrait to be edition migration
  davidtwco
  committed
  f6c4ba6
- subtractive/additive in implied def. bound removal
  davidtwco
  committed
  410b312
Commits on Mar 17, 2026
- constness as future possibility, only bounds, future compat and migration
  
  davidtwco
  and
  lqd
  committed
  91d06df
Commits on Mar 18, 2026
- update alternatives to rfc post-const split
  davidtwco
  committed
  1bb22f0

Commits

Commits on Nov 14, 2024

Commits on Nov 15, 2024

Commits on Nov 16, 2024

Commits on Nov 18, 2024

Commits on Nov 19, 2024

Commits on Nov 25, 2024

Commits on Nov 26, 2024

Commits on Nov 27, 2024

Commits on Nov 29, 2024

Commits on Dec 2, 2024

Commits on Dec 9, 2024

Commits on Dec 12, 2024

Commits on Dec 17, 2024

Commits on Jan 8, 2025

Commits on Jan 24, 2025

Commits on Feb 5, 2025

Commits on Feb 6, 2025

Commits on Feb 7, 2025

Commits on Feb 23, 2025

Commits on Mar 17, 2026

Commits on Mar 18, 2026