Remove the uses of unnamed parameter (JDK-8313323)

[HoshinoTented]

JDK-8313323

[codecov]

Codecov Report

Attention: Patch coverage is 51.51515% with 16 lines in your changes are missing coverage. Please review.

Project coverage is 81.36%. Comparing base (286e718) to head (c3313cd).
Report is 1 commits behind head on main.

Files	Patch %	Lines
...c/main/java/org/aya/tyck/unify/TermComparator.java	44.44%	5 Missing ⚠️
base/src/main/java/org/aya/prettier/Codifier.java	0.00%	3 Missing ⚠️
...e/src/main/java/org/aya/core/term/FormulaTerm.java	0.00%	2 Missing ⚠️
...c/main/java/org/aya/core/visitor/BetaExpander.java	33.33%	1 Missing and 1 partial ⚠️
...c/main/java/org/aya/prettier/ConcretePrettier.java	50.00%	2 Missing ⚠️
base/src/main/java/org/aya/tyck/ExprTycker.java	66.66%	1 Missing ⚠️
...ain/java/org/aya/cli/literate/SyntaxHighlight.java	66.66%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff            @@
##               main    #1027   +/-   ##
=========================================
  Coverage     81.36%   81.36%           
  Complexity     3532     3532           
=========================================
  Files           291      291           
  Lines         10762    10762           
  Branches       1310     1311    +1     
=========================================
  Hits           8757     8757           
  Misses         1263     1263           
  Partials        742      742           

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

[HoshinoTented]

This bug seems fixed in 21.0.1.