False ArgumentNullException


Exceptional says that this code can give ArgumentNullException:
if (foo != null)
    a = foo.FirstOrDefault();


rsuter wrote Oct 19, 2014 at 9:31 AM

In the current version, ArgumentExceptions are hints instead of warnings by default...

The problem here is that its hard to automatically find out if the ArgumentNullException is thrown: The plugin has to check if foo can be null and it has to automatically find out that this exception is thrown when foo == null.

For ArgumentNullException its doable, but for ArgumentException its very hard because the condition is only available as text in the xml documentation...