Partial

[KonjacSource]

Solved #1448, but variables still cannot appear in LHS of a partial element clause yet.

[codecov]

Codecov Report

❌ Patch coverage is 65.85366% with 14 lines in your changes missing coverage. Please review.
✅ Project coverage is 82.34%. Comparing base (090c8c0) to head (17346af).
⚠️ Report is 6 commits behind head on main.

Files with missing lines	Patch %	Lines
base/src/main/java/org/aya/tyck/ExprTycker.java	68.75%	2 Missing and 3 partials ⚠️
...se/src/main/java/org/aya/tyck/tycker/Stateful.java	76.92%	1 Missing and 2 partials ⚠️
...java/org/aya/tyck/error/IllegalPartialElement.java	0.00%	2 Missing ⚠️
...ase/src/main/java/org/aya/unify/DoubleChecker.java	0.00%	2 Missing ⚠️
...se/src/main/java/org/aya/unify/TermComparator.java	0.00%	2 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1451      +/-   ##
============================================
- Coverage     82.38%   82.34%   -0.04%     
- Complexity     4549     4562      +13     
============================================
  Files           393      393              
  Lines         13597    13618      +21     
  Branches       1679     1685       +6     
============================================
+ Hits          11202    11214      +12     
- Misses         1526     1534       +8     
- Partials        869      870       +1     

☔ 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.