void (String[] args) { nullable(<warning descr="Passing 'null' argument to non-annotated parameter">null</warning>); notNullable(<warning descr="Passing 'null' argument to parameter annotated as @NotNull">null</warning>); }