Repository navigation

Delete PendingDeref - #5

Closed

lucic71 wants to merge 4 commits into

value-visitorfrom

delete-pending-deref

Closed

Delete PendingDeref#5
lucic71 wants to merge 4 commits into
value-visitorfrom
delete-pending-deref

Commits on Jul 30, 2026
- Delete PendingDeref
  lucic71
  committed
  e9b3194
- Fix warning
  lucic71
  committed
  941e666
- Only do rewrites before printing
  lucic71
  committed
  9fab357
- Replace DerefOprand with RsExpr::Pointer
  lucic71
  committed
  a8804ac