BUG: Fix for "redundant await" adds duplicate [NotNull] attribute

[RichardD2]

Starting with the following code:

[NotNull]
public async Task Foo()
{
    return await Task.Delay(100);
}

The extension flags up three issues:

• Redundant 'await'
• Redundant captured context
• Annotation is redundant because the declared element can never be null by default

Applying the quick fix for the "redundant 'await'" issue results in the following code:

[NotNull, NotNull]
public Task Foo()
{
    return Task.Delay(100);
}

This is a compiler error: CS0579 Duplicate NotNull attribute.

The quick-fix should check whether the method is already decorated with the [NotNull] attribute before adding it again.

[michael-damatov]

The bug has been fixed with the Release 5.7.0. You can download the updated package immediately to install it manually or wait (a couple of business days) for JetBrains making it available in the Extension Manager.