struct Base {
    embedded_field int
}

struct Data {
    Base
    field int
}

type AliasWithShared = shared Data

struct Holder {
    data AliasWithShared
}

fn field_from_alias(data AliasWithShared) int {
    return data.field
}

fn field_from_alias_pointer(data &AliasWithShared) int {
    return data.field
}

fn embedded_field_from_alias_pointer(data &AliasWithShared) int {
    return data.embedded_field
}

fn option_alias_with_shared() ?AliasWithShared {
    return &Data{
        field: 5
    }
}

fn result_alias_with_shared() !AliasWithShared {
    return &Data{
        field: 6
    }
}

fn test_alias_to_shared_field_access() {
    data_with_shared := AliasWithShared(&Data{
        field: 1
    })
    assert data_with_shared.field == 1
}

fn test_alias_to_shared_call_arg() {
    assert field_from_alias(&Data{
        field: 2
    }) == 2
}

fn test_alias_to_shared_struct_init_field() {
    holder := Holder{
        data: &Data{
            field: 3
        }
    }
    assert holder.data.field == 3
}

fn test_alias_to_shared_pointer_field_access() {
    data := AliasWithShared(&Data{
        field: 4
    })
    assert field_from_alias_pointer(&data) == 4
}

fn test_alias_to_shared_pointer_embed_field_access() {
    data := AliasWithShared(&Data{
        embedded_field: 7
    })
    assert embedded_field_from_alias_pointer(&data) == 7
}

fn test_option_alias_to_shared_cast() {
    opt := ?AliasWithShared(&Data{
        field: 5
    })
    data := opt or {
        assert false
        return
    }

    assert data.field == 5
}

fn test_option_alias_to_shared_return() {
    data := option_alias_with_shared() or {
        assert false
        return
    }
    assert data.field == 5
}

fn test_result_alias_to_shared_return() {
    data := result_alias_with_shared() or {
        assert false
        return
    }
    assert data.field == 6
}