<code>@CheckForNull</code> implies <code>@Nullable(when = MAYBE)</code>, so it exactly defines that the input value may be null and should be checked inside the method

According to @jglick 's comment in #1213, this is a proper way to define arguments to be checked. BTW, the approach may be unclear for class users