Repository navigation

Suggest only calls allowed in any state when the receiver's state is unknown - #458

Merged

CatarinaGamboa merged 5 commits into

mainfrom

state-hints-unknown-goal

Nov 3, 2026

Merged

Suggest only calls allowed in any state when the receiver's state is unknown#458
CatarinaGamboa merged 5 commits into
mainfrom
state-hints-unknown-goal

Commits on Nov 3, 2026
- Suggest only calls allowed in any state when the receiver's state is unknown
  
  CatarinaGamboa
  and
  claude
  committed
  a9a1dd8
- Name states briefly in every state hint, and tell a failed check from an unknown state
  
  CatarinaGamboa
  and
  claude
  committed
  2fa8e6e
- Do not suggest constructors that cannot be called
  
  CatarinaGamboa
  and
  claude
  committed
  d01610c
- Count only checks of the receiver, and keep joins out of the checked case
  
  CatarinaGamboa
  and
  claude
  committed
  b9683e9
- Tidy the state hint code and keep only the tests that pin a behaviour
  
  CatarinaGamboa
  and
  claude
  committed
  878738a