Code

Hierarchy of Sized traits#3729

Code

Open

davidtwco wants to merge 61 commits intorust-lang:masterrust-lang/rfcs:masterfrom davidtwco:sized-hierarchydavidtwco/rfcs:sized-hierarchyCopy head branch name to clipboard

+1,868

Commits

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

  Show description for a840d8b
  

  davidtwco

  and

  fmease

  authored
  a840d8b

Commits on Nov 16, 2024

• correct supertrait/subtrait

  Show description for 260c980
  

  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