Repository navigation

Fix the place expression mutability and move rules - #2386

Draft

traviscross wants to merge 17 commits into

TC/mutable-place-expressions

Draft

Fix the place expression mutability and move rules#2386
traviscross wants to merge 17 commits into
masterfrom
TC/mutable-place-expressions

Commits on Oct 13, 2026
- Fix the `Drop` condition in the movable place list
  traviscross
  committed
  784b5f8
- Fix grammar of the `Box` entry in the movable list
  traviscross
  committed
  9e6aed9
- Define mutable place expression contexts
  traviscross
  committed
  0d11152
- Move the borrow-state qualifier to the borrow rules
  traviscross
  committed
  0bc1503
- Allow deferred initialization in the mutable place list
  traviscross
  committed
  273460f
- Say how mutability passes through field access
  traviscross
  committed
  a6b41e1
- Add parenthesized expressions to the place lists
  traviscross
  committed
  55dd878
- Distinguish built-in from trait indexing
  traviscross
  committed
  6fc20ad
- Say which dereferences are built in
  traviscross
  committed
  334b2b8
- Fix the `&mut T` exception in the mutable place list
  traviscross
  committed
  cf3b11a
- Say that `&T` and `*const T` dereferences are immutable
  traviscross
  committed
  d8c75f6
- Add array destructuring to the place lists
  traviscross
  committed
  523a542
- Say "variable" where parameters are also meant
  traviscross
  committed
  bf751e0
- Account for tuple indexing among the place expressions
  traviscross
  committed
  da9168f
- Say that a `let` with `ref` is not a coercion site
  traviscross
  committed
  2a59be0
- Document the reborrow at coercion sites
  traviscross
  committed
  98b8170
- Fix spelling and punctuation in place expression rules
  traviscross
  committed
  a07a98c