Skip to content

fix: give call-site vcgen [f] arguments the explicit-spec priority#14528

Merged
sgraf812 merged 1 commit into
masterfrom
sg/vcgen-callsite-unfold-prio
Jul 24, 2026
Merged

fix: give call-site vcgen [f] arguments the explicit-spec priority#14528
sgraf812 merged 1 commit into
masterfrom
sg/vcgen-callsite-unfold-prio

fix: give call-site `vcgen [f]` arguments the explicit-spec priority

14878dd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar