Merge branch 'fix_inline_dc_sub_2' into 'main'

Fix creation of intermediate DC IDs in inline substitution

See merge request !65

hercules_opt/src/inline.rs

@@ -216,8 +216,8 @@ fn inline_func(
                     // as the new references we just made in the first step. We
                     // actually want to institute all the updates
                     // *simultaneously*, hence the two step maneuver.
-                    let num_dcs = edit.num_dynamic_constants();
-                    for (dc_a, dc_n) in zip(dcs_a, num_dcs..) {
+                    let first_dc = edit.num_dynamic_constants() + 1;
+                    for (dc_a, dc_n) in zip(dcs_a, first_dc..) {
                         substitute_dynamic_constants_in_node(
                             *dc_a,
                             DynamicConstantID::new(dc_n),
@@ -225,7 +225,7 @@ fn inline_func(
                             &mut edit,
                         );
                     }
-                    for (dc_n, dc_b) in zip(num_dcs.., dcs_b.iter()) {
+                    for (dc_n, dc_b) in zip(first_dc.., dcs_b.iter()) {
                         substitute_dynamic_constants_in_node(
                             DynamicConstantID::new(dc_n),
                             *dc_b,