Pattern -> Arg<Pattern>

[ice1000]

/cc @imkiva @HoshinoTented

The syntax of as patterns is changed. Now, you'll have to use (f a b as c) over (f a b) as c

[codecov]

Codecov Report

Merging #642 (e5726ef) into main (3d43ccb) will decrease coverage by 0.01%.
The diff coverage is 82.69%.

@@             Coverage Diff              @@
##               main     #642      +/-   ##
============================================
- Coverage     79.34%   79.33%   -0.02%     
+ Complexity     2831     2822       -9     
============================================
  Files           254      254              
  Lines          9186     9181       -5     
  Branches       1115     1117       +2     
============================================
- Hits           7289     7284       -5     
  Misses         1289     1289              
  Partials        608      608              

Impacted Files	Coverage Δ
.../src/main/java/org/aya/concrete/stmt/TeleDecl.java	90.54% <ø> (ø)
...n/java/org/aya/concrete/visitor/ExprTraversal.java	0.00% <0.00%> (ø)
...main/java/org/aya/concrete/visitor/StmtFolder.java	0.00% <0.00%> (ø)
...rc/main/java/org/aya/concrete/visitor/StmtOps.java	0.00% <0.00%> (ø)
.../src/main/java/org/aya/core/repr/ShapeMatcher.java	68.85% <0.00%> (ø)
...ava/org/aya/concrete/desugar/BinPatternParser.java	52.17% <62.50%> (+2.17%)	⬆️
...ase/src/main/java/org/aya/core/repr/CodeShape.java	52.38% <62.50%> (ø)
base/src/main/java/org/aya/generic/Shaped.java	74.50% <83.33%> (+1.04%)	⬆️
...c/main/java/org/aya/distill/ConcreteDistiller.java	82.69% <87.50%> (-0.46%)	⬇️
...src/main/java/org/aya/cli/parse/AyaGKProducer.java	88.84% <97.56%> (-0.09%)	⬇️
... and 20 more

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

[ice1000]

bors r+

[bors]

Build succeeded:

• commit-check
• gradle-check

[ice1000]