contract C {
fn f(u32[] b, u256 start, u256 end) -> (u32) {
u32[] m = b[start:end];
u256 len = end - start;
assert(len == m.length);
for (u256 i = 0; i < len; i++) {
assert(b[start:end][i] == m[i]);
}
return [b[start:end]][0][0];
}
fn g(u32[] b, u256 start, u256 end) -> (u32[] ) {
return b[start:end];
}
fn h1(u32[] b) -> (u32[] ) {
return b;
}
fn h(u32[] b, u256 start, u256 end) -> (u32[] ) {
return h1(b[start:end]);
}
}
// ====
// compileViaYul: also
// ----
// f(int256[],u256,u256): 0x60, 1, 3, 4, 1, 2, 3, 4 -> 2
// g(int256[],u256,u256): 0x60, 1, 3, 4, 1, 2, 3, 4 -> 0x20, 2, 2, 3
// h(int256[],u256,u256): 0x60, 1, 3, 4, 1, 2, 3, 4 -> 0x20, 2, 2, 3