Fix a bug: HIT partial forgot to zonk

[ice1000]

bors r+

[codecov]

Codecov Report

Merging #705 (acd6305) into main (9a93127) will increase coverage by 0.00%.
The diff coverage is 100.00%.

@@            Coverage Diff            @@
##               main     #705   +/-   ##
=========================================
  Coverage     80.00%   80.00%           
- Complexity     2984     2985    +1     
=========================================
  Files           266      266           
  Lines          9655     9657    +2     
  Branches       1184     1184           
=========================================
+ Hits           7724     7726    +2     
  Misses         1279     1279           
  Partials        652      652           

Impacted Files	Coverage Δ
base/src/main/java/org/aya/tyck/StmtTycker.java	88.11% <100.00%> (ø)
base/src/main/java/org/aya/tyck/Tycker.java	100.00% <100.00%> (ø)

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

[bors]

Build succeeded:

• commit-check
• gradle-check