1 2 3 4 5 6 7 8 9 10 11 12 13 14
original.name="Old_Valid_1" js.compile.ignore=true ====== >>> main.whiley method m(&int p) ensures *p == old(*p): skip public export method test(): &int p = new 1 m(p) assert *p == 1 ---