#include "composed.hpp"
struct Container { unsigned size() const { return 2; } };
static_assert(demo::Flexible<int>);
static_assert(demo::Flexible<Container>);
static_assert(demo::Outer<double>);
static_assert(!demo::Flexible<void>);
template<demo::Flexible T>
T constrained_identity(T value) { return value; }
template<class T> auto type_use(T) -> std::bool_constant<demo::Flexible<T>> { return {}; }
bool ordinary_use() { return demo::Flexible<int>; }
int main() { return 0; }

#include "policies.hpp"