NNRT = Non-Nullable Reference Type
-
Using attributes
- Feature set similar to what ReSharper delivers today
- Can attributes be added to generic type arguments?
- Compatible with the .NET Framework
- Compatible with languages not supporting NNRTs
- High overhead because every public function must check if the passed function argument might be null