public print(@Nullable String s) { s.toString(); // Error! }