src/boost/libs/hana/test/ext/std/bugs/libcxx_22806.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// Copyright Louis Dionne 2013-2017
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)

#include <boost/hana/chain.hpp>
#include <boost/hana/ext/std/tuple.hpp>
#include <boost/hana/functional/compose.hpp>
#include <boost/hana/lift.hpp>

#include <laws/base.hpp>

#include <tuple>
namespace hana = boost::hana;


int main() {
    using M = hana::ext::std::tuple_tag;
    auto m = std::make_tuple(hana::test::ct_eq<0>{});
    auto f = hana::compose(hana::lift<M>, hana::test::_injection<0>{});
    hana::chain(m, hana::compose(hana::lift<M>, f));
}