dotnet/roslyn

Invalid nullability mismatch warning on generic notnull ref parameter discard

Open

Aperta il 24 mar 2026

Vedi su GitHub
 (0 commenti) (0 reazioni) (1 assegnatario)C# (20.414 star) (4257 fork)batch import
Area-CompilersFeature - Nullable Reference Typeshelp wanted

Descrizione

Version Used: 5.6.0-2.26161.119

Steps to Reproduce:

#nullable enable

class Gen<T> where T : notnull
{
    public static void Func(ref T t)
    {
        _ = ref t; // Diagnostic CS8619 here.
    }
}

A minimal repro, with source-code provided, is ideal. Most compiler/language issues can be distilled into a snippet that can be pasted into .NET Lab.

Diagnostic Id: CS8619

Expected Behavior: No diagnostic

Actual Behavior: CS8619: Nullability of reference types in value of type 'T' doesn't match target type 'T?'

Guida contributor

Tech stack
csharp
Dominio
backend
Tipo issue
bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 hours
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
active
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
clear
Prerequisiti
C#
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60
Direzione di ricerca
Analizza l'analisi del flusso nullable per i parametri ref e i parametri di tipo generico. Traccia come il discard ' = ref t;' attiva l'avviso e verifica se la nullabilità di T è gestita correttamente.