original.name="OpenRecord_Invalid_5"
======
>>> main.whiley
type OpenRecord1 is {int field, ...}
type OpenRecord2 is {int field, int other}

function getField(OpenRecord1 r) -> OpenRecord2:
    return r

---
E400 main.whiley 5,11