replace locals in body builder after types are resolved

[guiyj]

At the end of TypeResolver.resolve() method, all local types are resolved, however, only the Set<Local> locals of the Body is replaced with a set of locals with types, without replacing the new locals in each statement.

SootUp/sootup.java.bytecode/src/main/java/sootup/java/bytecode/interceptors/typeresolving/TypeResolver.java

Line 98 in 9716b4a

builder.setLocals(

This resulted in the locals in most Stmts still lacking type information after applying the TypeAssigner. This pull request fixes this issue.

[swissiety]

👍

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 68.53%. Comparing base (9716b4a) to head (a48c07d).
Report is 7 commits behind head on develop.

❗ Current head a48c07d differs from pull request most recent head 54975c8. Consider uploading reports for the commit 54975c8 to get more accurate results

Additional details and impacted files

@@              Coverage Diff              @@
##             develop     #877      +/-   ##
=============================================
+ Coverage      68.26%   68.53%   +0.27%     
- Complexity      3877     3889      +12     
=============================================
  Files            311      311              
  Lines          15186    15195       +9     
  Branches        2587     2589       +2     
=============================================
+ Hits           10366    10414      +48     
+ Misses          3911     3880      -31     
+ Partials         909      901       -8     

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