| 12 | |
| 13 | |
| 14 | int main() { |
| 15 | hana::test::ct_eq<2> x{}; |
| 16 | hana::test::ct_eq<3> s{}; |
| 17 | hana::test::_injection<0> f{}; |
| 18 | |
| 19 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 20 | hana::fold_left(hana::just(x), s, f), |
| 21 | f(s, x) |
| 22 | )); |
| 23 | |
| 24 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 25 | hana::fold_left(hana::nothing, s, f), |
| 26 | s |
| 27 | )); |
| 28 | } |