dotnet/roslyn

Nullable check ignores NotNullIfNotNullAttribute when the argument is method group

Open

#77.475 aperta il 9 mar 2025

Vedi su GitHub
 (5 commenti) (0 reazioni) (0 assegnatari)C# (4257 fork)batch import
Area-CompilersBugFeature - Nullable Reference Typeshelp wanted

Metriche repository

Star
 (20.414 star)
Metriche merge PR
 (Merge medio 6g 17h) (256 PR mergiate in 30 g)

Descrizione

.NET SDK 9.0.200:

Steps to Reproduce:

#nullable enable
using System.Linq; // Enumerable.Select

string[] a = ["1", "a"]; // element not null

_ = a.Select(Foo) // returns string?[]
    .First().ToString(); // CS8602, unexpected

_ = a.Select(t => Foo(t)) // returns string[]
    .First().ToString(); // correct, expected

[return: NotNullIfNotNull(nameof(x))]
string? Foo(string? x) => x;

Diagnostic Id:

CS8602

Expected Behavior:

Nullable check Does not ignore NotNullIfNotNullAttribute when the argument is method group

Actual Behavior:

Nullable check ignores NotNullIfNotNullAttribute when the argument is method group

Guida contributor

Direzione di ricerca
Esamina il codice di analisi nullable di Roslyn per le conversioni di gruppi di metodi e come viene applicato NotNullIfNotNullAttribute. Controlla la gestione di Select e degli argomenti del gruppo di metodi.
Tech stack
csharp
Dominio
compilers
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C#
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40