Eliminate Unnecessary Shadow Warning

[HoshinoTented]

This PR intends to eliminate unnecessary and annoying shadow warnings. However, the following code will not report any shadow warning even if the pattern shadows a local variable of another parameter:

def test (A : Type) (a : A) : A
| a, A => A

This is because we cannot tell the parameter of a pattern, this part is done in PatTycker, but it should can be done in desugarer.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.83%. Comparing base (5634d92) to head (c6d8826).
Report is 6 commits behind head on main.

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1264      +/-   ##
============================================
+ Coverage     82.81%   82.83%   +0.01%     
- Complexity     3986     3992       +6     
============================================
  Files           366      366              
  Lines         11755    11760       +5     
  Branches       1369     1369              
============================================
+ Hits           9735     9741       +6     
  Misses         1293     1293              
+ Partials        727      726       -1     

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