Code

Generic Pointer Casts#6

Code

Draft

lukas-code wants to merge 9 commits intomasterlukas-code/rust:masterfrom generic-pointer-castslukas-code/rust:generic-pointer-castsCopy head branch name to clipboard

+1,396-505

Commits

Commits on Jan 24, 2024

• normalize better

  

  Lukas Markeffsky

  committed
  47082f5

  Copy full SHA for 47082f5

• consolidate and improve fat pointer cast tests

  

  Lukas Markeffsky

  committed
  a37053f

  Copy full SHA for a37053f

• add MetadataCast built-in trait

  

  Lukas Markeffsky

  committed
  a84dab3

  Copy full SHA for a84dab3

• [NFC] clean up pointer cast typeck code

  

  Lukas Markeffsky

  committed
  a498abe

  Copy full SHA for a498abe

• typeck ptr-to-ptr casts via traits

  

  Lukas Markeffsky

  committed
  5510da0

  Copy full SHA for 5510da0

• borrowck ptr-to-ptr casts via traits

  

  Lukas Markeffsky

  committed
  e171473

  Copy full SHA for e171473

• allow casting to fat pointers with ptr.cast()

  

  Lukas Markeffsky

  committed
  54e49e0

  Copy full SHA for 54e49e0

• implement Waffle's cast semantics

  

  Lukas Markeffsky

  committed
  5927b91

  Copy full SHA for 5927b91

Commits on Feb 2, 2024

• fix soundness, but regress stable code

  

  Lukas Markeffsky

  committed
  d5d4d9f

  Copy full SHA for d5d4d9f