Implement coercion from path to pi

[ice1000]

Well, only for simplest cases.

[codecov]

Codecov Report

Merging #738 (0c9f100) into main (24040bd) will increase coverage by 0.02%.
The diff coverage is 88.23%.

@@             Coverage Diff              @@
##               main     #738      +/-   ##
============================================
+ Coverage     81.43%   81.46%   +0.02%     
- Complexity     3000     3004       +4     
============================================
  Files           260      260              
  Lines          9574     9592      +18     
  Branches       1189     1190       +1     
============================================
+ Hits           7797     7814      +17     
  Misses         1124     1124              
- Partials        653      654       +1     

Impacted Files	Coverage Δ
base/src/main/java/org/aya/tyck/ExprTycker.java	86.97% <78.94%> (+0.03%)	⬆️
base/src/main/java/org/aya/concrete/Expr.java	84.30% <100.00%> (+0.09%)	⬆️
.../main/java/org/aya/concrete/desugar/Desugarer.java	80.00% <100.00%> (+1.33%)	⬆️
base/src/main/java/org/aya/core/term/PAppTerm.java	100.00% <100.00%> (ø)
base/src/main/java/org/aya/core/term/PathTerm.java	93.33% <100.00%> (+0.22%)	⬆️

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+

[ice1000]

bors r-

[bors]

Canceled.

[ice1000]

bors r+

[bors]

Build succeeded:

• commit-check
• gradle-check