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
Next Next commit
Refactor
  • Loading branch information
@kerams
kerams committed Jun 25, 2026
commit 061c5f8e91908030f1ad7ddabe54e27868ccd93b
6 changes: 2 additions & 4 deletions src/Compiler/Checking/Expressions/CheckExpressions.fs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10599,12 +10599,10 @@ and TcMethodApplication
| Some callerArgTy ->
let retTy = baseMinfo.GetFSharpReturnType(cenv.amap, mMethExpr, callerTyArgs)
let argNullness =
if TypeNullIsTrueValue g callerArgTy then
if TypeNullIsTrueValue g callerArgTy || TypeNullIsExtraValueNew g mMethExpr callerArgTy then
g.knownWithNull
else
match GetTyparTyIfSupportsNull g callerArgTy with
| ValueSome _ -> g.knownWithNull
| ValueNone -> nullnessOfTy g callerArgTy
nullnessOfTy g callerArgTy
MethInfoWithModifiedReturnType(baseMinfo, replaceNullnessOfTy argNullness retTy)
| None -> baseMinfo
Comment thread
T-Gro marked this conversation as resolved.
Resolved
| _ -> baseMinfo
Expand Down
Loading