| 13 | |
| 14 | |
| 15 | int main() { |
| 16 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 17 | hana::flatten(hana::nothing), |
| 18 | hana::nothing |
| 19 | )); |
| 20 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 21 | hana::flatten(hana::just(hana::nothing)), |
| 22 | hana::nothing |
| 23 | )); |
| 24 | BOOST_HANA_CONSTANT_CHECK(hana::equal( |
| 25 | hana::flatten(hana::just(hana::just(ct_eq<4>{}))), |
| 26 | hana::just(ct_eq<4>{}) |
| 27 | )); |
| 28 | } |