original.name="Byte_Invalid_4"
======
>>> main.whiley
function f(byte x, byte y, byte z) -> (byte r):
    return x | y & z

---
E321 main.whiley 2,17