Support dependent types in variable

[mio-19]

fix #1220

passed:

variable A : Type
variable a : A

[ice1000]

Can you write a test?

[codecov]

Codecov Report

Attention: Patch coverage is 60.49383% with 32 lines in your changes missing coverage. Please review.

Project coverage is 83.23%. Comparing base (511c97f) to head (966b3c6).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...ain/java/org/aya/resolve/visitor/StmtResolver.java	53.84%	9 Missing and 3 partials ⚠️
...a/resolve/visitor/VariableDependencyCollector.java	68.96%	5 Missing and 4 partials ⚠️
...a/org/aya/resolve/error/CyclicDependencyError.java	0.00%	6 Missing ⚠️
...ain/java/org/aya/resolve/visitor/ExprResolver.java	75.00%	2 Missing and 3 partials ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main    #1226      +/-   ##
============================================
- Coverage     83.38%   83.23%   -0.16%     
- Complexity     4219     4228       +9     
============================================
  Files           384      386       +2     
  Lines         12213    12288      +75     
  Branches       1406     1422      +16     
============================================
+ Hits          10184    10228      +44     
- Misses         1283     1304      +21     
- Partials        746      756      +10     

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

[ice1000]

Why are there 39 commits in the PR, and 1000+ loc changes?

[mio-19]

Why are there 39 commits in the PR, and 1000+ loc changes?

I entered a wrong git rebase command