An error occurred while fetching the assigned milestone of the selected merge_request.
Improve Aggregation
Compare changes
There are no changes yet
No changes between version 12 and version 12
type:none
This MR improves a few this in the Aggregation pass :
add_prefix
and internal_get_name_and_counter
which should be avoided.Side-effect : this change triggered a bug in the monomorphisation self-pass that is solved in the MR.
No changes between version 12 and version 12