Support NotNullIfNotNullAttribute#19977

kerams wants to merge 13 commits into

dotnet:maindotnet/fsharp:mainfrom

kerams:nnkerams/fsharp:nnCopy head branch name to clipboard