whiley_test_file 0.6.2

original.name="Old_Valid_20"
js.compile.ignore=true
======
>>> main.whiley
method f(&int p):
    int n = *p
    //
    for i in 0..1
    where *p == old(*p):
        *p = *p
    //
    assert *p == n

public export method test():
    f(new 0)
---