Repository navigation

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

Open

CatarinaGamboa wants to merge 3 commits into

mainfrom

state-hints-guards-and-argument-conditions

Open

Suggest result checks and argument conditions in state hints#474
CatarinaGamboa wants to merge 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