Type-use annotation syntax and qualified names

[Björn Michael]

Dear all,

https://jspecify.dev/docs/user-guide#type-use-annotation-syntax mentions type use syntax for nested static type and array type.

Sometimes it is necessary to write the full qualified name of a type e.g. because of name clash thus the syntax is
java.lang.@Nullable String instead of @Nullable java.lang.String

A qualified name example could help jspecify adopters that aren't familiar with type use annotation syntax. What do you think?

Best regards,

Björn

[Kevin Bourrillion]

I'm startled to see that we missed this message for 3 weeks! I'm very sorry about that; we are glad to get this.

And of course you're right that we overlooked this case; it'll be in the next revision.

We'll try to make sure future messages to this list get to our eyes more reliably. As well, feel free to file issues for anything like this that we might want to take action on. Issues are less likely to be missed for an extended time, but again, we want to make sure either way works.

--
You received this message because you are subscribed to the Google Groups "jspecify-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jspecify-discu...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jspecify-discuss/CAEE7zv-%2BaazjT-aAbMxLd%3DXBAWP2jiiURtfxwUX5wcBY3oifqQ%40mail.gmail.com.

--

Kevin Bourrillion | Java Librarian | Google, Inc. | kev...@google.com