JetBrains/ExternalAnnotations

Annotations not loaded if parameter type is not specified

bing-ranplan opened this issue · 0 comments

For example, the return of NUnit's Is.EqualTo() is not recognised as [NotNull].
image

But it's annotated as [NotNull] in the annotation file

<member name="M:NUnit.Framework.Is.EqualTo">

The problem goes away after specifying the type of parameter in the method signature
<member name="M:NUnit.Framework.Is.EqualTo(System.Object)"> <attribute ctor="M:JetBrains.Annotations.NotNullAttribute.#ctor"/> </member>

There are plenty more like this in the built-in annotation files.

Note that we are using pessimistic value analysis mode.