bearophile Wrote:

> Spec# adds only few things to C# 2.0:
> - Non-nullable types;

It's hard to tell, whether they fix anything. When you cast nullable to 
non-nullable, you get your runtime exception as usual, if you if out access to 
nullable (e.g. in delayed method), you get your runtime exception again or 
rather logical bug.

Reply via email to