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

CatarinaGamboa merged 2 commits into
mainfrom
fix/found-expected-all-froms

Commits

  1. Commits on Nov 10, 2026