void (@lombok.NonNull String arg) { if (arg == null) { throw new java.lang.NullPointerException("arg is marked non-null but is null"); } System.out.println("Hey"); if (arg == null) throw new NullPointerException(); }