Skip to content

Origin note: say what a call's return refinement guarantees about an argument it gives - #530

Merged
CatarinaGamboa merged 7 commits into
mainfrom
from-note-f4
Nov 11, 2026
Merged

Origin note: say what a call's return refinement guarantees about an argument it gives#530
CatarinaGamboa merged 7 commits into
mainfrom
from-note-f4

Leave out the returned-value note when it names an argument by its pa…

fa84640
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar