Skip to content

Support NotNullIfNotNullAttribute #19977

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
T-Gro merged 16 commits into from
Jul 28, 2026
Merged

Support NotNullIfNotNullAttribute #19977

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
941d90a
Support NotNullIfNotNullAttribute
kerams Jun 21, 2026
8061f96
Stuff
kerams Jun 21, 2026
3acded4
Stuff
kerams Jun 21, 2026
8c7acea
Stuff
kerams Jun 22, 2026
6daa50a
Correctness, refactor
kerams Jun 22, 2026
b65a49b
Fix, add tests
kerams Jun 22, 2026
5e1d0ad
More tests
kerams Jun 23, 2026
2003712
Merge branch 'main' of https://github.com/dotnet/fsharp into nn
kerams Jun 23, 2026
49bf7f7
Merge branch 'main' of https://github.com/dotnet/fsharp into nn
kerams Jun 24, 2026
6f84303
Stuff
kerams Jun 24, 2026
ee6b9fa
Add unit test
kerams Jun 24, 2026
061c5f8
Refactor
kerams Jun 25, 2026
bc46a83
Merge branch 'main' of https://github.com/dotnet/fsharp into nn
kerams Jun 30, 2026
dfa1c53
Merge branch 'main' of https://github.com/dotnet/fsharp into nn
kerams Jul 24, 2026
7fd4646
Fix byref unsoundness
kerams Jul 24, 2026
e0c2cef
Merge branch 'main' into nn
kerams Jul 27, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'main' into nn
  • Loading branch information
@kerams
kerams authored Jul 27, 2026
commit e0c2cefd4f3e432eb42032f880dcc2a5abdb5890

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.