Skip to content

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

Scope the declaration of `return` in state refinement checks

e6b7fd4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar