dotnet/roslyn
class? constraint combines poorly with non-nullable interface constraint
Offen
#49.571 geöffnet am 23.11.2020
Area-CompilersBugFeature - Nullable Reference Typeshelp wanted
Repository-Metriken
- Stars
- (20.414 Sterne)
- PR-Merge-Metriken
- (Durchschn. Merge 6T 17h) (256 gemergte PRs in 30 T)
Beschreibung
Version Used: dc6f316a5e4f8eb3a0d36ab356c5c12686db00a9
Steps to Reproduce:
#nullable enable
using System;
public class C {
public void M<T>(T t) where T : class?, IEquatable<T> {
t.ToString(); // no warning?
}
}
Expected Behavior: Variable of type T has a maybe-null initial state
Actual Behavior: Variable has not-null initial state
Remarks: This may be fine and by-design, however the combination of these particular constraints seems to produce a contradictory/unintuitive result, so maybe there should be a warning to change class? to class, or to change IEquatable<T> to IEquatable<T>?.
We should report a warning under the following condition:
If the collection of interface, base class and the
classconstraints on a type parameter contain a single one which is "non-nullable" then we should warn if any of the others are "nullable".