Quantcast
Channel: YouTrackReSharper (RSRP) - Bug and Issue Tracker
Viewing all articles
Browse latest Browse all 106942

RSRP-288552: Nullness should "flow" from arguments of certain methods to other arguments

$
0
0
Reporter Vladimir Reshetnikov (nikov) Vladimir Reshetnikov (nikov)
Created Feb 27, 2012 8:40:02 AM
Updated Feb 27, 2012 8:40:02 AM
Priority Normal
Type Feature
Fix versions No Fix versions
State Submitted
Assignee Unassigned
Subsystem No subsystem
Affected versions No Affected versions
Fixed in build No Fixed in build
using System;
using System.Threading.Tasks;
using JetBrains.Annotations;

class Program
{
    static void Main()
    {
        Task.Factory.StartNew(Foo, null).Wait(); // null warning expected
    }

    static void Foo([NotNull] object obj)
    {
        if (obj == null) throw new ArgumentNullException("obj");
    }
}

Viewing all articles
Browse latest Browse all 106942

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>