Allowing Implicit Argument in List Ctor

[HoshinoTented]

A re-development of #599 on the new base.

[codecov]

Codecov Report

Merging #634 (44ef4ef) into main (2c67240) will decrease coverage by 0.00%.
The diff coverage is 76.47%.

@@             Coverage Diff              @@
##               main     #634      +/-   ##
============================================
- Coverage     79.11%   79.10%   -0.01%     
- Complexity     2818     2820       +2     
============================================
  Files           254      254              
  Lines          9107     9128      +21     
  Branches       1111     1112       +1     
============================================
+ Hits           7205     7221      +16     
- Misses         1291     1294       +3     
- Partials        611      613       +2     

Impacted Files	Coverage Δ
.../src/main/java/org/aya/core/repr/ShapeMatcher.java	68.85% <0.00%> (-2.82%)	⬇️
...ase/src/main/java/org/aya/core/repr/CodeShape.java	52.38% <62.50%> (+7.93%)	⬆️
base/src/main/java/org/aya/concrete/Pattern.java	90.00% <78.57%> (-4.74%)	⬇️
base/src/main/java/org/aya/core/repr/AyaShape.java	100.00% <100.00%> (ø)
...src/main/java/org/aya/cli/parse/AyaGKProducer.java	88.93% <100.00%> (+0.10%)	⬆️

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

[ice1000]

I believe that this reveals a serious problem in the design of Pattern ast. We may need to decouple the implicitness with the pattern itself

[ice1000]

bors r+

[bors]

This PR was included in a batch that successfully built, but then failed to merge into main. It will not be retried.

Additional information:

{"message":"All comments must be resolved.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}

[imkiva]

I believe that this reveals a serious problem in the design of Pattern ast. We may need to decouple the implicitness with the pattern itself

Recall the wired parsing code in AyaGKProducer, I can't agree more! We may need a Arg<Pat> (and also Arg<Pattern>)

[imkiva]

bors merge

[bors]

Build succeeded:

• commit-check
• gradle-check