Repository navigation

Scope the type of `return` in state refinement checks - #441

Merged

CatarinaGamboa merged 1 commit into

mainfrom

fix/440-return-type-scope

Oct 29, 2026

Merged

Scope the type of `return` in state refinement checks#441
CatarinaGamboa merged 1 commit into
mainfrom
fix/440-return-type-scope

Commits on Oct 28, 2026
- Scope the declaration of `return` in state refinement checks
  
  CatarinaGamboa
  and
  claude
  committed
  e6b7fd4