Use Java 20 language features

[ice1000]

bors r+

Written under the supervision of @imkiva and @HoshinoTented

[ice1000]

bors r+

[bors]

Already running a review

[bors]

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

• commit-check
• gradle-check

[codecov]

Codecov Report

Merging #991 (641de84) into main (179d7df) will decrease coverage by 0.02%.
Report is 6 commits behind head on main.
The diff coverage is 42.50%.

@@             Coverage Diff              @@
##               main     #991      +/-   ##
============================================
- Coverage     81.46%   81.45%   -0.02%     
  Complexity     3419     3419              
============================================
  Files           281      281              
  Lines         10508    10507       -1     
  Branches       1271     1274       +3     
============================================
- Hits           8560     8558       -2     
- Misses         1229     1230       +1     
  Partials        719      719              

Files Changed	Coverage Δ
...e/src/main/java/org/aya/core/term/FormulaTerm.java	60.00% <0.00%> (-4.29%)	⬇️
...e/src/main/java/org/aya/core/term/PartialTerm.java	84.00% <0.00%> (-3.50%)	⬇️
base/src/main/java/org/aya/core/visitor/Subst.java	85.71% <0.00%> (ø)
base/src/main/java/org/aya/prettier/Codifier.java	50.52% <0.00%> (+0.52%)	⬆️
...c/main/java/org/aya/tyck/tycker/UnifiedTycker.java	92.30% <0.00%> (ø)
...c/main/java/org/aya/tyck/unify/TermComparator.java	64.16% <33.33%> (-0.30%)	⬇️
pretty/src/main/java/org/aya/pretty/doc/Doc.java	94.40% <50.00%> (ø)
...e/src/main/java/org/aya/prettier/BasePrettier.java	87.05% <90.00%> (ø)
...c/main/java/org/aya/core/visitor/BetaExpander.java	78.72% <100.00%> (ø)
.../main/java/org/aya/core/visitor/DeltaExpander.java	80.00% <100.00%> (ø)