interface Value {}

fn bytes_to_blr(param []u8) ([]u8, []u8) {
    return param.clone(), param
}

fn interface_match_call(v Value) []u8 {
    match v {
        []u8 {
            blr, value := bytes_to_blr(v)
            assert value == [u8(1), 2, 3]
            return blr
        }
        else {
            return []u8{}
        }
    }
}

fn interface_match_return(v Value) []u8 {
    match v {
        []u8 {
            matched := v
            return matched
        }
        else {
            return []u8{}
        }
    }
}

fn test_interface_match_array_smartcast_for_call_and_return() {
    input := Value([u8(1), 2, 3])
    assert interface_match_call(input) == [u8(1), 2, 3]
    assert interface_match_return(input) == [u8(1), 2, 3]
}