Repository navigation

Suggest result checks and argument conditions in state hints - #474

Merged

CatarinaGamboa merged 3 commits into

mainfrom

state-hints-guards-and-argument-conditions

Nov 4, 2026

Merged

Suggest result checks and argument conditions in state hints#474
CatarinaGamboa merged 3 commits into
mainfrom
state-hints-guards-and-argument-conditions

Commits on Nov 4, 2026
- Suggest result checks and argument conditions in state hints
  
  CatarinaGamboa
  and
  claude
  committed
  8a79ec2
- Write guard checks with the parameters' names, so the suggested if compiles
  
  CatarinaGamboa
  and
  claude
  committed
  9f90bd5
- Leave a guard's arguments for the caller and name parameters that conditions mention
  
  CatarinaGamboa
  and
  claude
  committed
  0afdf6a