Repository navigation

feat(ts): translate a raw pointer behind a reference - #621

Merged

moq-bot[bot] merged 66 commits into

mainfrom

quest/m3/ts-unsafe/raw-behind-ref

Nov 8, 2026

Merged

feat(ts): translate a raw pointer behind a reference#621
moq-bot[bot] merged 66 commits into
mainfrom
quest/m3/ts-unsafe/raw-behind-ref

Commits on Nov 7, 2026
- chore(quest): claim quest/m3/ts-unsafe/raw-behind-ref.md
  kixelated
  committed
  77de6f0
- feat(ts): translate a raw pointer behind a reference
  
  kixelated
  and
  claude
  committed
  3478933
- style(ts): format
  
  kixelated
  and
  claude
  committed
  19345e1
- Merge remote-tracking branch 'origin/main' into fix/raw-pointer-reference
  kixelated
  committed
  0e8bd26
- test(ts): regenerate the census fixture after merging main
  
  kixelated
  and
  claude
  committed
  71cd733
- docs(quest): the census at the pin after a raw pointer behind a reference
  
  kixelated
  and
  claude
  committed
  5a40085
- fix(ts): keep an Arc's value's pointer its one place, and read an enum of cells through a shared reference's pointer
  
  kixelated
  and
  claude
  committed
  30e8b12
- test(ts): snapshot the Arc pointers' case
  
  kixelated
  and
  claude
  committed
  437a61a
- fix(ts): tell a tag outside every UnsafeCell by the value's layout
  
  kixelated
  and
  claude
  committed
  bce76b5
- Merge remote-tracking branch 'origin/main' into fix/raw-pointer-reference
  kixelated
  committed
  43b8b2b
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  kixelated
  committed
  65927ee
- chore(ts): regenerate the pointer snapshots for rs.String
  
  kixelated
  and
  claude
  committed
  0766fe4
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  kixelated
  committed
  3a423f4
- chore(ts): regenerate the pointer snapshots after merging main
  
  kixelated
  and
  claude
  committed
  694c6e1
- quest: recount the census after merging main
  
  kixelated
  and
  claude
  committed
  f45cfbc
- fix(ts): move a copy out of a pointer from a &mut to an object
  
  kixelated
  and
  claude
  committed
  e58dcda
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  kixelated
  committed
  4af334c
- chore(ts): regenerate the snapshots after merging main
  
  kixelated
  and
  claude
  committed
  0916afe
- style(ts): format
  
  kixelated
  and
  claude
  committed
  9bfcf27
- Merge remote-tracking branch 'origin/main' into raw-behind-ref
  kixelated
  committed
  92a40b7
- fix(ts): copy every value a pointer read moves out, library objects included
  
  kixelated
  and
  claude
  committed
  28c5450
- fix(ts): copy what a cell or lock holds inline when moving it out
  
  kixelated
  and
  claude
  committed
  925f1bc
- fix(ts): copy a range's ends and a borrowed cell's value when moving them out
  
  kixelated
  and
  claude
  committed
  d4531da
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  kixelated
  committed
  8955797
- fix(ts): refuse moving out a library object whose inline state only its runtime class knows
  
  kixelated
  and
  claude
  committed
  501e113
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  kixelated
  committed
  7362511
- fix(ts): copy a Weak moved out through a pointer as the handle it is
  
  kixelated
  and
  claude
  committed
  20c188d
- chore(ts): recount the census, name the inline-state alias, format
  
  kixelated
  and
  claude
  committed
  f275248
- fix(ts): copy a Vec's or VecDeque's storage on a move-out read, clear stale fields on a whole write, refuse unfixed offsets from a lone place
  
  kixelated
  and
  claude
  committed
  b117c7e
- chore(ts): format, regenerate the conversions snapshot
  
  kixelated
  and
  claude
  committed
  0b375b8
- docs(ts): note storage copies and unfixed offsets from a lone place
  
  kixelated
  and
  claude
  committed
  742b2bd
- fix(ts): keep a place's accessors on a whole write, refuse unfixed wrapping offsets and copy counts from a lone place
  
  kixelated
  and
  claude
  committed
  c77552a
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  kixelated
  committed
  07fda2b
- Merge remote-tracking branch 'origin/main' into iterate-621b
  kixelated
  committed
  bc03ffc
- feat(ts): refuse unsplit collection moves and offsets off a lone place
  
  kixelated
  and
  claude
  committed
  e2a5e8c
- test(ts): refuse a collection's ptr::copy within a Vec
  
  kixelated
  and
  claude
  committed
  3d5165c
- fix(ts): check reads one past a lone place, not the pointer
  
  kixelated
  and
  claude
  committed
  44bfc2a
- style(ts): format
  
  kixelated
  and
  claude
  committed
  521d901
- Merge remote-tracking branch 'origin/main' into iterate-621b
  kixelated
  committed
  3312df3
- fix(ts): check only accessed pointers, and none to a value of no bytes
  
  kixelated
  and
  claude
  committed
  8ca09a4
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  
  kixelated
  and
  claude
  committed
  8079dea
- quest: finish the ts-unsafe epic
  
  kixelated
  and
  claude
  committed
  1a767f3
- Merge remote-tracking branch 'origin/main' into iterate-621b
  kixelated
  committed
  a720343
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  
  kixelated
  and
  claude
  committed
  a37bd0b
- fix(ts): address the automated reviews of the merged head
  
  kixelated
  and
  claude
  committed
  0af963e
- fix(ts): refuse a branch-joined reference pointer's stray, and fold no copy as a target
  
  kixelated
  and
  claude
  committed
  3281e7d
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  
  kixelated
  and
  claude
  committed
  bbab54f
- fix(ts): follow every assignment of a pointer to the arrays of one it may reach
  
  kixelated
  and
  claude
  committed
  5114982
Commits on Nov 8, 2026
- revert(ts): drop the join tracking of pointers from a reference
  
  kixelated
  and
  claude
  committed
  3be3d33
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  
  kixelated
  and
  claude
  committed
  0f51992
- quest: name a joined reference pointer's offset_from among the run-time throws
  
  kixelated
  and
  claude
  committed
  513169a
- fix(ts): copy what a Pin or transparent wrapper holds as uninitialized when it is
  
  kixelated
  and
  claude
  committed
  b26afb6
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  
  kixelated
  and
  claude
  committed
  419105d
- quest: recount the model census after #644
  
  kixelated
  and
  claude
  committed
  993b76c
- docs(ts): name interior-mutable shared references and nonempty byte slices in the pointer row
  
  kixelated
  and
  claude
  committed
  f47c117
- fix(ts): refuse a move-out read of a closure or coroutine whose copy Rust tells apart
  
  kixelated
  and
  claude
  committed
  52a10e9
- style(ts): format
  
  kixelated
  and
  claude
  committed
  8c53bc9
- fix(ts): refuse a move-out read of a closure whose captures its copy would split
  
  kixelated
  and
  claude
  committed
  56ee890
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  
  kixelated
  and
  claude
  committed
  0f97786
- style(ts): format
  
  kixelated
  and
  claude
  committed
  45f045b
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  
  kixelated
  and
  claude
  committed
  80c7495
- quest: recount the model census
  
  kixelated
  and
  claude
  committed
  357cf8a
- fix(ts): refuse an opaque library object only where an unsafe move reads it out
  
  kixelated
  and
  claude
  committed
  aa033e2
- style(ts): format
  
  kixelated
  and
  claude
  committed
  9424175
- Merge remote-tracking branch 'origin/main' into quest/m3/ts-unsafe/raw-behind-ref
  
  kixelated
  and
  claude
  committed
  a15788d
- Merge base into pr-621 and preserve both pointer analyses
  quest fixer
  committed
  e4c0cdb

Commits

Commits on Nov 7, 2026

Commits on Nov 8, 2026