Clear Garbage Code of PatTycker

[HoshinoTented]

No description provided.

[codecov]

Codecov Report

Merging #732 (016352a) into main (d2cd2f0) will decrease coverage by 0.05%.
The diff coverage is 98.30%.

@@             Coverage Diff              @@
##               main     #732      +/-   ##
============================================
- Coverage     81.48%   81.42%   -0.06%     
- Complexity     2999     3000       +1     
============================================
  Files           260      260              
  Lines          9574     9565       -9     
  Branches       1188     1188              
============================================
- Hits           7801     7788      -13     
- Misses         1118     1123       +5     
+ Partials        655      654       -1     

Impacted Files	Coverage Δ
...va/org/aya/cli/library/json/LibraryConfigData.java	100.00% <ø> (ø)
base/src/main/java/org/aya/tyck/StmtTycker.java	87.68% <85.71%> (ø)
base/src/main/java/org/aya/tyck/ExprTycker.java	86.94% <100.00%> (-0.03%)	⬇️
base/src/main/java/org/aya/tyck/Tycker.java	100.00% <100.00%> (ø)
base/src/main/java/org/aya/tyck/pat/PatTycker.java	91.25% <100.00%> (-0.02%)	⬇️
...ase/src/main/java/org/aya/tyck/pat/TypedSubst.java	86.95% <0.00%> (-13.05%)	⬇️
base/src/main/java/org/aya/core/visitor/Subst.java	76.74% <0.00%> (-4.66%)	⬇️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[ice1000]

bors r+

[bors]

Build succeeded:

• commit-check
• gradle-check