| Reporter |
Allon Guralnek (allong)
|
|---|---|
| Created | Nov 23, 2011 12:58:33 PM |
| Updated | Feb 28, 2012 4:03:49 PM |
| Priority | Normal |
| Type | Bug |
| Fix versions | Mirabile Futurum |
| State | Open |
| Assignee | Evgeny Pasynkov (pasynkov) |
| Subsystem | Code Analysis |
| Affected versions | 6.0 |
| Fixed in build | No Fixed in build |
The attached images shows a Contract.Ensures() postcondition with no assigments at all, yet ReSharper reports "Possible 'null' assignment to entity marked with 'NotNull' attribute".