Use Java 21 features

[ice1000]

Yeeassss

[codecov]

Codecov Report

Attention: 11 lines in your changes are missing coverage. Please review.

Comparison is base (1e74abb) 81.33% compared to head (4dd8428) 81.36%.
Report is 1 commits behind head on main.

Files	Patch %	Lines
base/src/main/java/org/aya/prettier/Codifier.java	25.00%	3 Missing ⚠️
...c/main/java/org/aya/tyck/unify/TermComparator.java	85.71%	0 Missing and 3 partials ⚠️
...c/main/java/org/aya/core/visitor/BetaExpander.java	33.33%	1 Missing and 1 partial ⚠️
base/src/main/java/org/aya/tyck/ExprTycker.java	66.66%	2 Missing ⚠️
base/src/main/java/org/aya/core/pat/PatUnify.java	0.00%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1023      +/-   ##
============================================
+ Coverage     81.33%   81.36%   +0.03%     
- Complexity     3526     3529       +3     
============================================
  Files           291      291              
  Lines         10761    10758       -3     
  Branches       1307     1308       +1     
============================================
+ Hits           8752     8753       +1     
+ Misses         1264     1263       -1     
+ Partials        745      742       -3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[imkiva]

Please add -SNAPSHOT to the version because it is in the main branch, and such a "release" version will prevent the CI from uploading nightly builds to https://s01.oss.sonatype.org/content/repositories/snapshots

[ice1000]

😨 oh no