New partial

[ice1000]

Fix #1322

[codecov]

Codecov Report

❌ Patch coverage is 46.28099% with 65 lines in your changes missing coverage. Please review.
✅ Project coverage is 82.43%. Comparing base (d35a3d2) to head (b43c5ea).
⚠️ Report is 20 commits behind head on main.

Files with missing lines	Patch %	Lines
...se/src/main/java/org/aya/normalize/Normalizer.java	26.08%	13 Missing and 4 partials ⚠️
base/src/main/java/org/aya/unify/Synthesizer.java	0.00%	14 Missing ⚠️
...se/src/main/java/org/aya/unify/TermComparator.java	0.00%	10 Missing and 2 partials ⚠️
base/src/main/java/org/aya/tyck/ExprTycker.java	71.42%	4 Missing and 2 partials ⚠️
...ase/src/main/java/org/aya/unify/DoubleChecker.java	0.00%	6 Missing ⚠️
...x/src/main/java/org/aya/prettier/CorePrettier.java	0.00%	2 Missing and 1 partial ⚠️
...a/org/aya/compiler/serializers/TermSerializer.java	0.00%	2 Missing ⚠️
...n/java/org/aya/syntax/core/term/xtt/ConjCofNF.java	75.00%	1 Missing and 1 partial ⚠️
...n/java/org/aya/syntax/core/term/xtt/DisjCofNF.java	50.00%	2 Missing ⚠️
...java/org/aya/tyck/error/IllegalPartialElement.java	0.00%	1 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1447      +/-   ##
============================================
- Coverage     82.63%   82.43%   -0.21%     
+ Complexity     4550     4549       -1     
============================================
  Files           394      393       -1     
  Lines         13513    13553      +40     
  Branches       1669     1684      +15     
============================================
+ Hits          11167    11172       +5     
- Misses         1477     1509      +32     
- Partials        869      872       +3     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.