Simple examples include the typical name-uniqueness constraints, type checks or non-nullness.

简单的例子比如典型的名称唯一性约束、类型检查或非空检查。

youdao

The current proposal includes annotations for nullness, sign, language, and threading amongst others.

当前提案中包括供判断是否为空、正负号、开发语言和线程等方面的众多注解。

youdao