Repository navigation

-mm=own, phase 2: borrows for locals - #402

Merged

ASDAlexander77 merged 5 commits into

mainfrom

Sep 29, 2026

Merged

-mm=own, phase 2: borrows for locals#402
ASDAlexander77 merged 5 commits into
mainfrom
own-phase-2

Commits on Sep 29, 2026
- -mm=own phase 2 plan
  
  ASDAlexander77
  and
  claude
  committed
  99d01f2
- -mm=own phase 2: a let that cannot move borrows
  
  ASDAlexander77
  and
  claude
  committed
  8619d51
- -mm=own phase 2: several lets of one owner all borrow it
  
  ASDAlexander77
  and
  claude
  committed
  77b2c9c
- -mm=own phase 2: results
  
  ASDAlexander77
  and
  claude
  committed
  7b5dcce
- -mm=own phase 2: review fixes - what a borrower's reads produce is the borrower too
  
  ASDAlexander77
  and
  claude
  committed
  13ae647