| warning: AnnotationFileParser: in file myjdk.astub at line 6 ignored existing annotations on type: T[ extends @Initialized @Nullable Object super @Initialized @Nullable Void] | |
| Issue559.java:10: error: [argument] incompatible types in argument. | |
| o.orElse(null); | |
| ^ | |
| found : null | |
| required: @Initialized @NonNull String | |
| 1 error | |
| 1 warning |