Function gen_region_strided

pub fn gen_region_strided(
    dims: RangeInclusive<usize>,
    max_len: usize,
    max_step: usize,
    _max_offset: usize,
) -> impl Strategy<Value = Region>

Generate a random Region strategy with striding for property tests.

Similar to gen_region, but each dimension may additionally use a non-unit step. This produces regions whose underlying slice has non-contiguous strides, useful for testing strided layouts.

• dims: inclusive range of allowed dimensionalities (e.g. 1..=4)
• max_len: maximum size of any dimension
• max_step: maximum stride step size applied to each dimension
• _max_offset: reserved for future use (currently ignored)