Code

Hierarchy of Sized traits#3729

Code

Open

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

+2,003

Commits

Commits on Nov 14, 2024

• hierarchy of sized traits

  davidtwco

  committed
  45d9eac

  Copy full SHA for 45d9eac

• updates from EuroRust discussions

  davidtwco

  committed
  dedc078

  Copy full SHA for dedc078

• updates post niko-discussion

  davidtwco

  committed
  2eaaddb

  Copy full SHA for 2eaaddb

• add reasoning about constness

  davidtwco

  committed
  20e7454

  Copy full SHA for 20e7454

• add diamond hierarchy

  davidtwco

  committed
  8a8c5a9

  Copy full SHA for 8a8c5a9

• using const traits

  davidtwco

  committed
  592d192

  Copy full SHA for 592d192

• improved diagram

  davidtwco

  committed
  9eecd57

  Copy full SHA for 9eecd57

• address review comments

  davidtwco

  committed
  55b8779

  Copy full SHA for 55b8779

• future possibility for externref

  davidtwco

  committed
  7849df0

  Copy full SHA for 7849df0

• dynsized -> valuesized

  davidtwco

  committed
  f5a5cfc

  Copy full SHA for f5a5cfc

• "statically known at runtime" -> "runtime constant"

  davidtwco

  committed
  d222516

  Copy full SHA for d222516

Commits on Nov 15, 2024

• elaborate on determining runtime-sized size

  davidtwco

  committed
  337c2e3

  Copy full SHA for 337c2e3

• const-stable size_of_val + ed. migration detail

  davidtwco

  committed
  aa2a39b

  Copy full SHA for aa2a39b

• remove const pointee

  davidtwco

  committed
  226ca5f

  Copy full SHA for 226ca5f

• elaborate on runtime-sized const prohibition

  davidtwco

  committed
  a0f7bb7

  Copy full SHA for a0f7bb7

• add acknowledgements section

  davidtwco

  committed
  2eae11e

  Copy full SHA for 2eae11e

• mention PhantomData

  davidtwco

  committed
  dcf2b84

  Copy full SHA for dcf2b84

• mention extension options

  davidtwco

  committed
  487de4d

  Copy full SHA for 487de4d

• move to correct filename

  davidtwco

  committed
  26f0ace

  Copy full SHA for 26f0ace

• correct Copy is a subtrait of Sized

  Show description for a840d8b
  

  davidtwco

  and

  fmease

  authored
  a840d8b

  Copy full SHA for a840d8b

Commits on Nov 16, 2024

• correct supertrait/subtrait

  Show description for 260c980
  

  davidtwco

  and

  fmease

  authored
  260c980

  Copy full SHA for 260c980

• remove rust= from code blocks

  davidtwco

  committed
  95a1b7d

  Copy full SHA for 95a1b7d

• correct usage of const trait

  davidtwco

  committed
  b670517

  Copy full SHA for b670517

• mention context for dynamic stack allocation

  davidtwco

  committed
  b8ea881

  Copy full SHA for b8ea881

• use current const trait syntax

  davidtwco

  committed
  a703feb

  Copy full SHA for a703feb

• correct incorrect syntax

  davidtwco

  committed
  fad04b0

  Copy full SHA for fad04b0

• list all alternate bounds

  davidtwco

  committed
  2fb3aaa

  Copy full SHA for 2fb3aaa

• mention ?Trait being accepted for non-Sized

  davidtwco

  committed
  23cb8a2

  Copy full SHA for 23cb8a2

Commits on Nov 18, 2024

• use distinct Pointee trait

  davidtwco

  committed
  0c2f6e6

  Copy full SHA for 0c2f6e6

• correct bound in size_of_val description

  davidtwco

  committed
  397e474

  Copy full SHA for 397e474

• update info about size_of_val and align_of_val

  davidtwco

  committed
  6c1482b

  Copy full SHA for 6c1482b

• correct extern types in structs

  davidtwco

  committed
  1f85898

  Copy full SHA for 1f85898

• elaborate on implicit relaxation

  davidtwco

  committed
  5f4b8ff

  Copy full SHA for 5f4b8ff

Commits on Nov 19, 2024

• further clarify ?Sized alternative

  davidtwco

  committed
  ab8e7f6

  Copy full SHA for ab8e7f6

• reword references to relaxed bounds

  davidtwco

  committed
  b050c2b

  Copy full SHA for b050c2b

• strengthen drawback of implicit relaxation

  davidtwco

  committed
  432a77a

  Copy full SHA for 432a77a

• mention rfl want

  davidtwco

  committed
  98af888

  Copy full SHA for 98af888

• weaken language around externref

  davidtwco

  committed
  60eab1a

  Copy full SHA for 60eab1a

• further extend ?sized alternatives

  davidtwco

  committed
  6e124e5

  Copy full SHA for 6e124e5

• remove implicit relaxation terminology

  davidtwco

  committed
  4faeb83

  Copy full SHA for 4faeb83

Commits on Nov 25, 2024

• mention backwards incompatiblity with trait methods

  davidtwco

  committed
  b4258c7

  Copy full SHA for b4258c7

• changed aligned future possibility

  davidtwco

  committed
  61f8d6d

  Copy full SHA for 61f8d6d

• elaborate on implicit supertrait

  davidtwco

  committed
  9158ebb

  Copy full SHA for 9158ebb

Commits on Nov 26, 2024

• elaborate further on implicit supertraits

  davidtwco

  committed
  b71401c

  Copy full SHA for b71401c

• add alternative about metasized/mutexes

  davidtwco

  committed
  c9e71bd

  Copy full SHA for c9e71bd

Commits on Nov 27, 2024

• further further elaboration on implicit supertraits

  davidtwco

  committed
  5573be7

  Copy full SHA for 5573be7

• fix heading level of alternative

  davidtwco

  committed
  2831cca

  Copy full SHA for 2831cca

Commits on Nov 29, 2024

• elaborate on metasized and unsafecell

  davidtwco

  committed
  ef2f5cd

  Copy full SHA for ef2f5cd

• clarify return types

  davidtwco

  committed
  145446d

  Copy full SHA for 145446d

Commits on Dec 2, 2024

• clarify that non-const sized is not nameable

  davidtwco

  committed
  b620534

  Copy full SHA for b620534

• clarify which pointee

  davidtwco

  committed
  02d1759

  Copy full SHA for 02d1759

• clarify relaxed bounds tables

  davidtwco

  committed
  8cbaef9

  Copy full SHA for 8cbaef9

• further clarifications around relaxed bounds

  davidtwco

  committed
  72743b6

  Copy full SHA for 72743b6

• runtime-sized in const is unsound

  davidtwco

  committed
  9fd3dff

  Copy full SHA for 9fd3dff

• clarify wording of unresolved metasized question

  davidtwco

  committed
  462d016

  Copy full SHA for 462d016

Commits on Dec 9, 2024

• replace valuesized with metasized

  davidtwco

  committed
  57b9a85

  Copy full SHA for 57b9a85

• elaborate on backwards incompat with methods

  davidtwco

  committed
  aa21450

  Copy full SHA for aa21450

• match indentation in code blocks

  davidtwco

  committed
  c0ee97d

  Copy full SHA for c0ee97d

Commits on Dec 12, 2024

• fix list of when traits are implemented

  davidtwco

  committed
  7a11fe9

  Copy full SHA for 7a11fe9

• add example of clone supertrait relaxation

  davidtwco

  committed
  762c6d8

  Copy full SHA for 762c6d8

Commits on Dec 17, 2024

• rationale for delaying size_of bound relaxation

  davidtwco

  committed
  52b776f

  Copy full SHA for 52b776f

Commits on Jan 8, 2025

• s/alignment/size

  davidtwco

  committed
  5d602fb

  Copy full SHA for 5d602fb

• add unresolved question for std::ptr::Pointee use

  davidtwco

  committed
  d6d73b2

  Copy full SHA for d6d73b2

• clarify that pointee is not semantically necessary

  davidtwco

  committed
  f26784b

  Copy full SHA for f26784b

Commits on Jan 24, 2025

• reference const traits RFC

  davidtwco

  committed
  edec592

  Copy full SHA for edec592

Commits on Feb 5, 2025

• fix broken link

  davidtwco

  committed
  19469dc

  Copy full SHA for 19469dc

• fix incorrect indentation

  davidtwco

  committed
  0f9ec84

  Copy full SHA for 0f9ec84

Commits on Feb 6, 2025

• further reinforce necessity of const traits

  davidtwco

  committed
  7b99ac6

  Copy full SHA for 7b99ac6

• note possibility for backwards incompatibility

  davidtwco

  committed
  6533e10

  Copy full SHA for 6533e10

• describe incremental stabilisation

  davidtwco

  committed
  96a70f9

  Copy full SHA for 96a70f9

• add new alternative enabling ptr::Pointer reuse

  davidtwco

  committed
  bef7459

  Copy full SHA for bef7459

• document lang team perspectives from design meeting

  davidtwco

  committed
  5806017

  Copy full SHA for 5806017

Commits on Feb 7, 2025

• note that const traits is not a strict dependency

  davidtwco

  committed
  4ba5b07

  Copy full SHA for 4ba5b07