Add aggregate return regression test

[maleadt]

Test for #422

[maleadt]

@simeonschaub No need to use the translator now :-)

[simeonschaub]

Oh, great! I think there is still some value in having options, especially if we can help upstream identify some of the edge cases, but maybe that's just me :).

Should we add the full Julia-side reproducer as an integration test as well?

[maleadt]

Yeah probably better than the current hacky IL test.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.74%. Comparing base (25bb8be) to head (4cc55b0).

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #459   +/-   ##
=======================================
  Coverage   80.74%   80.74%           
=======================================
  Files          13       13           
  Lines         909      909           
=======================================
  Hits          734      734           
  Misses        175      175           

☔ 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.