// PR c++/105795
// { dg-do compile { target c++17 } }

struct empty
{};

template <typename T>
struct tuple_holder
{
    [[no_unique_address]] T value;
};

struct tuple : tuple_holder<int>, tuple_holder<empty>
{};

constexpr auto make_tuple(int&& i, empty&& e)
{
    return tuple{i, e};
}

constexpr int foo()
{
    auto tuple = make_tuple(1, empty{});
    return static_cast<const tuple_holder<int>&>(tuple).value;
}

static_assert (foo() == 1);