dotnet/roslyn

Nullable check ignores NotNullIfNotNullAttribute when the argument is method group

Open

#77.475 geöffnet am 9. März 2025

Auf GitHub ansehen
 (5 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C# (4.257 Forks)batch import
Area-CompilersBugFeature - Nullable Reference Typeshelp wanted

Repository-Metriken

Stars
 (20.414 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 6T 17h) (256 gemergte PRs in 30 T)

Beschreibung

.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

Contributor Guide

Research-Richtung
Untersuche den Roslyn Nullable Analysecode für Methodengruppenkonvertierungen und wie NotNullIfNotNullAttribute angewendet wird. Überprüfe die Behandlung von Select und Methodengruppenargumenten.
Tech Stack
csharp
Domain
compilers
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
C#
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40