original.name="Template_Valid_44"
======
>>> main.whiley
type Box<T> is { T contents }

function empty_boxes<T>(T t) -> (T xs, Box<T>[] ys)
ensures |ys| == 0:
    return t,[]

public export method test():
    (int t, Box<int>[] bs) = empty_boxes<int>(0)
    assert bs == [{contents:0};0]

---