11 lines
No EOL
186 B
Text
11 lines
No EOL
186 B
Text
def foo<N>(field[N] x) -> field[N]:
|
|
return x
|
|
|
|
def bar<N>(field[N] x) -> field[N]:
|
|
field[N] r = x
|
|
return r
|
|
|
|
def main(field[3] x) -> field[2]:
|
|
field[2] z = foo(x)[0..2]
|
|
|
|
return bar(z) |