Add elim for Simpl Indexed Type

[HoshinoTented]

Fix #1261

[ice1000]

Review

[codecov]

Codecov Report

Attention: Patch coverage is 90.10989% with 9 lines in your changes missing coverage. Please review.

Project coverage is 82.81%. Comparing base (4025921) to head (5634d92).
Report is 8 commits behind head on main.

Files with missing lines	Patch %	Lines
...ain/java/org/aya/resolve/visitor/StmtResolver.java	81.25%	1 Missing and 2 partials ⚠️
base/src/main/java/org/aya/tyck/StmtTycker.java	81.81%	0 Missing and 2 partials ⚠️
...e/src/main/java/org/aya/tyck/pat/ClauseTycker.java	92.30%	0 Missing and 1 partial ⚠️
...er/src/main/java/org/aya/producer/AyaProducer.java	88.88%	0 Missing and 1 partial ⚠️
...c/main/java/org/aya/prettier/ConcretePrettier.java	91.66%	0 Missing and 1 partial ⚠️
...a/org/aya/syntax/concrete/stmt/decl/MatchBody.java	94.44%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1263      +/-   ##
============================================
+ Coverage     82.79%   82.81%   +0.01%     
- Complexity     3971     3986      +15     
============================================
  Files           365      366       +1     
  Lines         11707    11755      +48     
  Branches       1365     1369       +4     
============================================
+ Hits           9693     9735      +42     
- Misses         1292     1293       +1     
- Partials        722      727       +5     

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

[HoshinoTented]

no parse error test yet