checker-framework icon indicating copy to clipboard operation
checker-framework copied to clipboard

Retention of @DefaultQualifier should be RUNTIME

Open mmorrisontx opened this issue 2 years ago • 0 comments

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.

mmorrisontx avatar Jan 24 '24 03:01 mmorrisontx