ExE-Boss opened a new issue, #4125:
URL: https://github.com/apache/netbeans/issues/4125

   ### Apache NetBeans version
   
   Apache NetBeans 13
   
   ### What happened
   
   Using a `@NonNull` or `@Nullable` annotation that has 
<code>\@[Target][java.lang.annotation.Target]\([TYPE_USE][java.lang.annotation.ElementType#TYPE_USE]\)</code>
 causes the “Null Pointer Dereference” hint to not work.
   
   ### How to reproduce
   
   Use a `@NotNull` or `@Nullable` annotation that has `@Target(TYPE_USE)`, 
such as the ones provided by [JSpecify](https://jspecify.dev/).
   
   ### Did this work correctly in an earlier version?
   
   No
   
   ### Operating System
   
   Windows 10
   
   ### JDK
   
   OpenJDK Runtime Environment [Temurin](https://adoptium.net/)-18.0.1+10 
(build 18.0.1+10)
   
   ### Apache NetBeans packaging
   
   Apache NetBeans provided installer
   
   ### Anything else
   
   Nullity annotations that make use of **Java 8**’s 
<code>[ElementType][java.lang.annotation.ElementType].[TYPE_USE][java.lang.annotation.ElementType#TYPE_USE]</code>
 are becoming more and more common as time goes on[^1].
   
   [^1]: They’re already in use in [Guava](https://github.com/google/guava)
   
   [java.lang.annotation.Target]: 
https://docs.oracle.com/en/java/javase/18/docs/api/java.base/java/lang/annotation/Target.html
   [java.lang.annotation.ElementType]: 
https://docs.oracle.com/en/java/javase/18/docs/api/java.base/java/lang/annotation/ElementType.html
   [java.lang.annotation.ElementType#TYPE_USE]: 
https://docs.oracle.com/en/java/javase/18/docs/api/java.base/java/lang/annotation/ElementType.html#TYPE_USE
   
   ### Are you willing to submit a pull request?
   
   No
   
   ### Code of Conduct
   
   Yes


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]


---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

For further information about the NetBeans mailing lists, visit:
https://cwiki.apache.org/confluence/display/NETBEANS/Mailing+lists

Reply via email to