Report question

Question: Code Contracts in .NET 4.0, no joy for non-nullable reference types fans?