original.name="TypeEquals_Valid_19"
======
>>> main.whiley
type intr is bool|int

function f(intr[][] e) -> int[]:
    if e is int[][] && |e| > 0:
        return e[0]
    else:
        return [1, 2, 3]

public export method test() :
    assume f([[1, 2, 3, 4, 5, 6, 7]]) == [1, 2, 3, 4, 5, 6, 7]
    assume f([[0;0]]) == [0;0]
    assume f([[1, 2, false]]) == [1,2,3]
    assume f([[true, 2, true]]) == [1,2,3]

---