Improve TypedExpr.coerce

[codecov-commenter]

Codecov Report

Merging #972 (76cdffe) into master (cf51b2e) will decrease coverage by 0.39%. The diff coverage is 75.58%.

:mega: This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@            Coverage Diff             @@
##           master     #972      +/-   ##
==========================================
- Coverage   92.14%   91.76%   -0.39%     
==========================================
  Files          90       90              
  Lines        9268     9373     +105     
  Branches     2169     2168       -1     
==========================================
+ Hits         8540     8601      +61     
- Misses        728      772      +44     

Impacted Files	Coverage Δ
...src/main/scala/org/bykn/bosatsu/PackageError.scala	68.68% <50.61%> (-12.70%)	:arrow_down:
.../src/main/scala/org/bykn/bosatsu/LocationMap.scala	93.75% <87.50%> (-1.25%)	:arrow_down:
...re/src/main/scala/org/bykn/bosatsu/TypedExpr.scala	88.57% <88.76%> (-1.57%)	:arrow_down:
.../src/main/scala/org/bykn/bosatsu/rankn/Infer.scala	96.30% <95.83%> (-0.17%)	:arrow_down:
...c/main/scala/org/bykn/bosatsu/UnusedLetCheck.scala	100.00% <100.00%> (ø)
...e/src/main/scala/org/bykn/bosatsu/rankn/Type.scala	97.00% <100.00%> (-0.02%)	:arrow_down:

... and 7 files with indirect coverage changes

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