matovitch Mon, 16 Sep 2013 03:31:03 -0700
For example :
class C { ... } void fun(@nonNull C c) { ... }; C c; fun(c); //compilation error since C is null