=====
>>> main.whiley
public export method test():
   int xs = 0
   int[] ys = xs[1:=3]
---
E400 main.whiley 3,14:15