How can I get close to non-nullable reference types in C# today?

Question

I\'ve read many of the non-nullable questions and answers. It looks like the best way to get close to non-nullable types in C# (4.0) is Jon Skeet\'s NonNullable<> hack.<

Answer 1

Yep, spec#: http://research.microsoft.com/en-us/projects/specsharp/

-- Edit: I just noticed you said C# 4.0; I'm fairly sure Spec# doesn't support that version. Nevertheless, it's worth a review.

You may also be able (I think) to check at a slightly later stage then compile, via a rule in Gendarme: http://www.mono-project.com/Gendarme (assuming that runs against 4.0)