whiley_test_file 0.6.2

original.name="RecordAssign_Valid_8"
======
>>> main.whiley


type bytes is {int b1, int b2}

function f(int b) -> bytes:
    return {b1: b, b2: 2}

public export method test() :
    int b = 1
    bytes bs = f(b)
    assume bs == {b1: 1, b2: 2}
    bs = {b1: b, b2: b}
    assume bs == {b1: 1, b2: 1}

---