Switch to jspecify annotations for Player (#12042)

Browse Source

Fixes compilation issues for plugins from recent API addition with double-annotated parameter (JetBrains annotations are type-use and parameter, so nonnull array of nonnull elements ends up with duplicates)

...

This commit is contained in:

Jason Penilla

2025-02-08 12:57:35 -07:00

committed by GitHub

parent 51acc802b8

commit 61312fdb59

3 changed files with 215 additions and 256 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

paper-api/src/main/java/org/bukkit/entity/Player.java

+159 -185

File diff suppressed because it is too large Load Diff