简而言之就是将已存在的特性null参数验证，使用一个简单的语义标注进一步简化。

对于如下这段代码

// Beforevoid Insert(string s) { if (s is null) { throw new ArgumentNullException(nameof(s)); } ... }

简化为:

// Aftervoid Insert(string s!) { ...}

这个提案是在代码执行时，对值进行检测。

而已存在的可空类型(Nullable)不会影响代码的执行语义（代码执行顺序）。

而本提案中的操作符，可以改变代码的执行顺序，比如，不进入Insert函数中执行代码。

c#官方文档了解和学习更多新特性

同时这个提案也引入新的思想，是否可以给参数添加其他运算符，表达式，甚至linq。

而对于一个函数，能否像对待一个对象一样处理，比如非空函数?

同时，该提案增加标准库体积后，是否可以使更多的人收益？