Repository navigation

-mm=own phase 5a: a closure that does not escape borrows what it captures - #436

Merged

ASDAlexander77 merged 4 commits into

mainfrom

Oct 2, 2026

Merged

-mm=own phase 5a: a closure that does not escape borrows what it captures#436
ASDAlexander77 merged 4 commits into
mainfrom
own-phase-5

Commits on Oct 2, 2026
- -mm=own phase 5a: a closure that does not escape borrows what it captures
  
  ASDAlexander77
  and
  claude
  committed
  d54f752
- -mm=own phase 5a: own_closure_borrow reads after the points a wrong free would hit
  
  ASDAlexander77
  and
  claude
  committed
  14d4ea1
- -mm=own phase 5a: spec section 16
  
  ASDAlexander77
  and
  claude
  committed
  cdd3f0b
- -mm=own phase 5a: a closure over copies aliased by a local keeps its release too
  
  ASDAlexander77
  and
  claude
  committed
  4271d13