Skip to content

Add explicit qualifier trust option and UnannotatedFor#34

Merged
thisisalexandercook merged 1 commit into
eisop:mainfrom
thisisalexandercook:flag-and-qual
May 12, 2026
Merged

Add explicit qualifier trust option and UnannotatedFor#34
thisisalexandercook merged 1 commit into
eisop:mainfrom
thisisalexandercook:flag-and-qual

Conversation

@thisisalexandercook
Copy link
Copy Markdown
Collaborator

This PR adds the first-pass configuration and qualifier support needed before moving toward finer-grained checkedness scopes.

@thisisalexandercook thisisalexandercook merged commit ac7ce3b into eisop:main May 12, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant