def test_arrays():
empty = Var(No(T.Example.array))
single = Var(ArrayLiteral([Self.cast(Example)]))
complete = Var(Self.parent.cast(T.Example.list).as_array)
arr = Var(empty.concat(single).concat(complete))
return arr.length # BREAK:test_arrays
def mmz_prop():
# Both calls to unit_count are memoized, but when called for the first
# time, the first one's result will be different from the second one.
before = Var([Self.unit_count])
# Update context version by parsing a new unit
ignore(Var(Self.fetch_example_unit))
after = Var([Self.unit_count])
return before.concat(after)