Use unaliased static type in assignable statement

[jbdoderlein]

Assignement used the getStaticType() on receiver instead of getStaticUnaliasedType(), making this valid code produce an UnsupportedSubscript :

alias Matrix[&T] = map[int,map[int,&T]];

void main(){
    Matrix[int] m = (0:(0:0));
    m[1] = (0:1);
}

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[codecov]

Codecov Report

❌ Patch coverage is 35.00000% with 13 lines in your changes missing coverage. Please review.
✅ Project coverage is 45%. Comparing base (3f7f467) to head (0c515b5).

Files with missing lines	Patch %	Lines
...rc/org/rascalmpl/semantics/dynamic/Assignable.java	35%	12 Missing and 1 partial ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##              main   #2913   +/-   ##
=======================================
- Coverage       45%     45%   -1%     
- Complexity    6803    6806    +3     
=======================================
  Files          844     844           
  Lines        68824   68824           
  Branches     10028   10028           
=======================================
- Hits         31405   31404    -1     
- Misses       35018   35022    +4     
+ Partials      2401    2398    -3     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.