Reference to JetBrains is added when overriding method

Do this in VS:

1. Create a class that extends DbContext
2. Inside the class, type “override” and from the selection list that appears after you press space select “OnModelCreating” and let VS do its magic of adding the method and all the necessary usings.

Now look at the using statements. Notice that “using JetBrains.Annotations” was added. The overriden method looks like:

protected override void OnModelCreating([NotNullAttribute]ModelBuilder builder)
{
    base.OnModelCreating(builder);
}

There is a compilation error saying that NotNullAttribute is not accessible due to its protection level.

[bricelam]

Duplicate of dotnet/roslyn#5646

[Eilon]

@BukeMan please file a bug at https://github.com/dotnet/roslyn/issues with detailed steps to reproduce, including the version numbers. Thanks!