Renamer

[ice1000]

Fix #1041

[codecov]

Codecov Report

Attention: Patch coverage is 76.13636% with 42 lines in your changes missing coverage. Please review.

Project coverage is 78.79%. Comparing base (9eb394c) to head (d603ef4).
Report is 1 commits behind head on main.

Files	Patch %	Lines
syntax/src/main/java/org/aya/generic/Renamer.java	70.00%	8 Missing and 7 partials ⚠️
...ase/src/main/java/org/aya/unify/DoubleChecker.java	27.27%	7 Missing and 1 partial ⚠️
...ax/src/main/java/org/aya/syntax/ref/LocalCtx1.java	22.22%	4 Missing and 3 partials ⚠️
base/src/main/java/org/aya/unify/Synthesizer.java	50.00%	4 Missing ⚠️
...se/src/main/java/org/aya/unify/TermComparator.java	78.57%	1 Missing and 2 partials ⚠️
.../src/main/java/org/aya/syntax/ref/MapLocalCtx.java	86.66%	1 Missing and 1 partial ⚠️
.../src/main/java/org/aya/tyck/pat/PatternTycker.java	83.33%	1 Missing ⚠️
.../src/main/java/org/aya/compiler/SourceBuilder.java	50.00%	1 Missing ⚠️
...x/src/main/java/org/aya/prettier/CorePrettier.java	95.45%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1096      +/-   ##
============================================
- Coverage     78.84%   78.79%   -0.05%     
- Complexity     3194     3209      +15     
============================================
  Files           291      294       +3     
  Lines          9798     9834      +36     
  Branches       1148     1157       +9     
============================================
+ Hits           7725     7749      +24     
- Misses         1434     1440       +6     
- Partials        639      645       +6     

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