`isl.Set.move_dims` segfault when destination position is out of bounds

[a-alveyblanc]

Describe the bug
isl.Set.move_dims segfaults when destination position is greater than isl.Set.dim for a particular isl.dim_type.

To Reproduce

import islpy as isl


s = isl.Set("{ [d_0, n] : d_0 >= 0 and n > d_0 }")

s = s.move_dims(
    isl.dim_type.param, 1,
    isl.dim_type.set, 0, 1
)

Expected behavior
Raise an error when destination is out of bounds.

Environment (please complete the following information):

• OS: Linux
• Python version: 3.13

[inducer]

Thanks for the report! Since the islpy wrappers are auto-generated, I don't know that there's much than can be done here. It's not ideal, I agree. I suspect upstream won't be interested in addressing this since they consider move_dims not part of the public API.

And for us, as long as namedisl gets this right, users ultimately won't be exposed to this.

As such, my inclination is to leave this open and see if it needs addressing later on.