Chaotic library testing

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 66.66667% with 17 lines in your changes are missing coverage. Please review.

Project coverage is 78.16%. Comparing base (cae081d) to head (ad9d454). Report is 1 commits behind head on main.

Files	Patch %	Lines
.../java/org/aya/resolve/visitor/PatternResolver.java	33.33%	3 Missing and 3 partials :warning:
...src/main/java/org/aya/syntax/concrete/Pattern.java	40.00%	3 Missing :warning:
...se/src/main/java/org/aya/unify/TermComparator.java	77.77%	2 Missing :warning:
.../src/main/java/org/aya/syntax/core/def/AnyDef.java	33.33%	1 Missing and 1 partial :warning:
.../main/java/org/aya/syntax/core/def/ConDefLike.java	33.33%	1 Missing and 1 partial :warning:
.../src/main/java/org/aya/tyck/pat/PatternTycker.java	83.33%	0 Missing and 1 partial :warning:
...java/org/aya/syntax/concrete/stmt/StmtVisitor.java	75.00%	0 Missing and 1 partial :warning:

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #1080 +/- ## ============================================ - Coverage 78.26% 78.16% -0.11% + Complexity 3134 3126 -8 ============================================ Files 290 291 +1 Lines 9672 9675 +3 Branches 1124 1122 -2 ============================================ - Hits 7570 7562 -8 - Misses 1469 1476 +7 - Partials 633 637 +4 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.