You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Unless I'm missing something, I believe the @Retention of @DefaultQualifier should be RUNTIME, not SOURCE. As is, @DefaultQualifier(@Nonnull) used within a published library is disregarded when the library is consumed because the annotation is missing from intellij's decompiled version of the class.
Strangely, the retention of DefaultQualifier.List is already RUNTIME, but unfortunately that one isn't respected by intellij, making it not a viable hack around this issue.
The text was updated successfully, but these errors were encountered:
Unless I'm missing something, I believe the
@Retention
of@DefaultQualifier
should be RUNTIME, not SOURCE. As is,@DefaultQualifier(@Nonnull)
used within a published library is disregarded when the library is consumed because the annotation is missing from intellij's decompiled version of the class.https://github.com/typetools/checker-framework/blob/master/checker-qual/src/main/java/org/checkerframework/framework/qual/DefaultQualifier.java
Strangely, the retention of DefaultQualifier.List is already RUNTIME, but unfortunately that one isn't respected by intellij, making it not a viable hack around this issue.
The text was updated successfully, but these errors were encountered: