User defined attributes use

[matovitch]

All your examples are great, thank you ! Is there a way to omit 
validate such that the compiler would call it implicitly ?

For example :

class C {
   ...
}

void fun(@nonNull C c) {
   ...
};

C c;
fun(c);  //compilation error since C is null