using namespace crossbow;

template <class T>
struct some_alloc {
    typedef T value_type;
    some_alloc(const some_alloc &);
};

int main() {
#if __has_feature(cxx_noexcept)
    {
        typedef string C;
        static_assert(std::is_nothrow_move_assignable<C>::value, "");
    }
#endif
}
