dotnet/roslyn

Invalid nullability mismatch warning on generic notnull ref parameter discard

Open

#82 919 ouverte le 24 mars 2026

Voir sur GitHub
 (0 commentaires) (0 réactions) (1 assigné)C# (20 414 stars) (4 257 forks)batch import
Area-CompilersFeature - Nullable Reference Typeshelp wanted

Description

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?'

Guide contributeur

Stack technique
csharp
Domaine
tooling
Type d'issue
bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 hours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
blocked
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
clear
Prérequis
C# genericsnullable reference types
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
15
Direction de recherche
The issue involves a false positive CS8619 in the nullable flow analysis when discarding a ref parameter of a generic type constrained to 'notnull'. The fix is likely in the NullableWalker or related flow analysis code. The issue is assigned, so coordinate with the assignee. Look at the test suite for similar nullable mismatch tests.