original.name="ListLength_Valid_3"
======
>>> main.whiley


public export method test() :
    int[] arr = [1, 2, 3]
    assert arr[0] < |arr|
    assert arr[1] < |arr|
    assert arr[2] == |arr|

---