Merge master to nullness

[dotnet-bot]

This is an automatically generated pull request from master into nullness.

git fetch --all
git checkout merges/master-to-nullness
git reset --hard upstream/nullness
git merge upstream/master
# Fix merge conflicts
git commit
git push merges/master-to-nullness --force

Once all conflicts are resolved and all the tests pass, you are free to merge the pull request.

[ghost]

Auto-approval