Issue594.java:17: error: [return] incompatible types in return.
    return result;
           ^
  type of expression: T[ extends @Initialized @Nullable Object super @Initialized @Nullable Void]
  method return type: T[ extends @Initialized @Nullable Object super @Initialized @NonNull Void]
1 error