Stefano Cordio @scordio.github.io 路 Jun 21

I'm definitely not used to reading such array declarations 馃檲 #Java #JSpecify

8 likes 4 replies

?

Replies

St茅phane Nicoll 路 Jun 21

The annotation should be right before the type is how I remember it. And [] is what makes it an array.

Oliver Drotbohm 路 Jun 21

It took me a while to realize that it needs the opposite position than List<Object> (container first, element second). 馃槄

Stefano Cordio 路 Jun 21

Fixed! 馃槄

Johannes Bechberger 路 Jun 23

You might find my blog post on annotations helpful: mostlynerdless.de/blog/2024/06...