You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In Section I.3.2, add a reference to the recently opened C# issue dotnet/roslyn#227, Proposal for non-nullable references (and safe nullable references).
The hurdles to any form of support for non-null references are high for C#, but treating nullity annotations as sugar for contracts remains feasible. The proposed addition to C# of native support for method contracts (dotnet/roslyn#119) might help.
The text was updated successfully, but these errors were encountered:
In Section I.3.2, add a reference to the recently opened C# issue dotnet/roslyn#227, Proposal for non-nullable references (and safe nullable references).
The hurdles to any form of support for non-null references are high for C#, but treating nullity annotations as sugar for contracts remains feasible. The proposed addition to C# of native support for method contracts (dotnet/roslyn#119) might help.
The text was updated successfully, but these errors were encountered: