āœ… Misunderstanding static analyser and `NotNullWhen` - C#