original.name="StaticVar_Valid_5"
======
>>> main.whiley
type nat is (int x) where x >= 0

final nat[] x = [1,2,3]

public export method test():
    assume x == [1,2,3]

---