OpenLiberty / liberty-tools-intellij

IntelliJ IDEA extension for Liberty
https://plugins.jetbrains.com/plugin/14856-open-liberty-tools
Eclipse Public License 2.0
12 stars 24 forks source link

Diagnostic missing for `@PositiveOrZero` #781

Closed turkeylurkey closed 4 months ago

turkeylurkey commented 4 months ago

Description:

When using @PositiveOrZero on a List<String> I expect a diagnostic message.

image

When you spell it @PostiveOrZero it does not compile but the diagnostic and quick fix are generated.

image

Specification:

@PositiveOrZero annotation can only be used on BigDecimal, BigInteger, byte, short, int, long, float, double (and their respective wrappers) type fields or methods.

turkeylurkey commented 4 months ago

c.f. https://github.com/eclipse/lsp4jakarta/issues/524