original.name="Record_Invalid_8"
======
>>> main.whiley
type Node is { int x, int y }

method f(Node n) -> int:
    return n.z
---
E400 main.whiley 4,11