void (Message message, boolean isApplicable) { if (message == null && field == null) { return; } if (message != null) { field = message.getHeader(); doSomething(); } if (isApplicable) { // Dubious warning: message.getHeader() is not annotated, but assigned to nullable field; should we consider the result as nullable? System.out.println(field.<warning descr="Method invocation 'hashCode' may produce 'NullPointerException'">hashCode</warning>()); } }