=====
>>> main.whiley
public export method test():
   int[] xs = [1,2,3]
   int ys = xs[1:=3]
---
E400 main.whiley 3,12:19