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

public export method test():
    int[] arr
    if 10 > 0:
        arr = [1, 2]
    else:
        arr = [1, 2, 3]
    assert |arr| == 4


---
E705 main.whiley 8,11:20
E722 main.whiley 8,11:20