Daniel Grunwald
Results
42
issues of
Daniel Grunwald
`[return: NotNullIfNotNull(paramName)]` is a semi-common attribute to use, especially in some code bases that like to use: `if (input == null) return null;` at the start of many functions. Unlike...
Currently our inference re-uses Roslyn's flow-analysis. However, this has some fundamental problems. ```csharp 9: Dictionary mapping = new Dictionary(); 11: Node? GetNode(T element) { 13: Node? node; 14: if (!mapping.TryGetValue(element,...