Skip to content

Make whether a param has a default be a separate field from quals#118

Merged
msullivan merged 10 commits into
mainfrom
default-only
May 23, 2026
Merged

Make whether a param has a default be a separate field from quals#118
msullivan merged 10 commits into
mainfrom
default-only

Reject Never as a Param kind

2af93d8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar