| 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 |