Repository navigation

Origin note: say where the wrong state of a receiver comes from - #528

Merged

CatarinaGamboa merged 8 commits into

mainfrom

from-note-state

Nov 11, 2026

Merged

Origin note: say where the wrong state of a receiver comes from#528
CatarinaGamboa merged 8 commits into
mainfrom
from-note-state

Commits on Nov 10, 2026
- Call the note Origin and lead with where the value comes from
  
  CatarinaGamboa
  and
  claude
  committed
  2623683
- Say where the wrong state of a receiver comes from
  
  CatarinaGamboa
  and
  claude
  committed
  548a570
- Leave out the From note for an aliased receiver, and follow a returned value across other sets
  
  CatarinaGamboa
  and
  claude
  committed
  8f82b34
- Count a receiver passed to a method as aliased, and say only what a change set
  
  CatarinaGamboa
  and
  claude
  committed
  496759c
- Leave out the From note after an unspecified method body on the receiver
  
  CatarinaGamboa
  and
  claude
  committed
  160ad72
- Apply the alias checks to this and to the failing call's own arguments
  
  CatarinaGamboa
  and
  claude
  committed
  5bb7647
- Count a method reference to the receiver as aliasing it
  
  CatarinaGamboa
  and
  claude
  committed
  bf683fa
- Write the state origin notes as Origin: line L, <call> <verb> <state>
  
  CatarinaGamboa
  and
  claude
  committed
  51666ee