Repository navigation

-mm=own phase 7b: a generator over a parameter's block borrows it; .map and .filter - #441

Merged

ASDAlexander77 merged 5 commits into

mainfrom

Oct 2, 2026

Merged

-mm=own phase 7b: a generator over a parameter's block borrows it; .map and .filter#441
ASDAlexander77 merged 5 commits into
mainfrom
own-phase-7b

Commits on Oct 2, 2026
- -mm=own phase 7b: a generator over a parameter's block borrows it
  
  ASDAlexander77
  and
  claude
  committed
  ae02fa8
- -mm=own phase 7b: `.map` and `.filter` borrow their source array
  
  ASDAlexander77
  and
  claude
  committed
  92fc7c6
- -mm=own phase 7b: a box borrows its copies only when each has an owner of its own
  
  ASDAlexander77
  and
  claude
  committed
  12a7bd2
- -mm=own phase 7b: spec section 19
  
  ASDAlexander77
  and
  claude
  committed
  c040dd7
- -mm=own phase 7b: a bounding argument read out of a field; the twin read's barrier
  
  ASDAlexander77
  and
  claude
  committed
  087116a