Skip to content

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

Open
CatarinaGamboa wants to merge 7 commits into
mainfrom
from-note-f4
Open

Origin note: say what a call's return refinement guarantees about an argument it gives#530
CatarinaGamboa wants to merge 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