CanBeNull 和 ReSharper - 将其与异步任务一起使用？

我最近发现你可以使用[CanBeNull]C# 中的注释告诉 ReSharper（和其他插件）某个方法可以返回 null。这很棒，因为当我没有处理这些情况时，它会让 ReSharper 提醒我。

然而，对于async返回 a 的方法Task or a Task<T>，该行为是意外的。

例如，考虑这个例子：

[CanBeNull]
public async Task<string> GetSomeName() {
    var time = DateTime.Now;
    if(time.Second == 30) { 
        return "Jimmy"; 
    } else {
        return null;
    }
}

我知道这种情况有点奇怪，但为了简单起见，请耐心等待。如果我（启用了 ReSharper）然后尝试在其他地方调用该方法，它会发出错误警告。例如：

var myValue = await GetSomeName();
var subValue = myValue.Trim(); //here, ReSharper should warn me that subValue is null.

在这里，ReSharper 在错误的地方警告我。第一行生成一个警告（它声称任务本身实际上可以为空，这是错误的）。第二行不会生成警告，而警告应该在此处。

如果我要完全遵守 ReSharper，则必须编写以下代码：

var myTask = GetSomeName();
if(myTask != null) { 
    //this is silly, and is always true, but ReSharper thinks that the Task can be null due to the CanBeNull attribute.

    var myValue = await myTask;
    var subValue = myValue.Trim(); //this could generate an error, but ReSharper doesn't warn me.

}

这是我应该提交的 ReSharper 错误吗？或者我错误地使用了注释？我想我们都同意任务本身不可能null，所以我不知道这有什么意义。

伊万·塞尔杜克在这里说 https://youtrack.jetbrains.com/issue/RSRP-376091#focus=Comments-27-1054764.0-0:

从 ReSharper 9.2 EAP4 属性开始“项目可以为空” https://www.jetbrains.com/help/resharper/Reference__Code_Annotation_Attributes.html#ItemCanBeNullAttribute and “项目不为空” https://www.jetbrains.com/help/resharper/Reference__Code_Annotation_Attributes.html#ItemNotNullAttribute可以应用于“Task”和“Lazy”类型的实体

它工作完美！

附：请不要忘记更新 JetBrains Annotations。