Skip to content

Use found … but expected … for refinement errors, drop the general hint, declare every from - #525

Merged
CatarinaGamboa merged 2 commits into
mainfrom
fix/found-expected-all-froms
Nov 10, 2026
Merged

Use found … but expected … for refinement errors, drop the general hint, declare every from#525
CatarinaGamboa merged 2 commits into
mainfrom
fix/found-expected-all-froms

Locate only a literal state value by its own position

9d1bb1e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar