1//===----------------------------------------------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10// <map>
11
12// map& operator=(map&& c)
13//     noexcept(
14//          allocator_type::propagate_on_container_move_assignment::value &&
15//          is_nothrow_move_assignable<allocator_type>::value &&
16//          is_nothrow_move_assignable<key_compare>::value);
17
18// This tests a conforming extension
19
20// UNSUPPORTED: c++98, c++03
21
22#include <map>
23#include <cassert>
24
25#include "test_macros.h"
26#include "MoveOnly.h"
27#include "test_allocator.h"
28
29template <class T>
30struct some_comp
31{
32    typedef T value_type;
33    some_comp& operator=(const some_comp&);
34    bool operator()(const T&, const T&) const { return false; }
35};
36
37int main()
38{
39    typedef std::pair<const MoveOnly, MoveOnly> V;
40    {
41        typedef std::map<MoveOnly, MoveOnly> C;
42        static_assert(std::is_nothrow_move_assignable<C>::value, "");
43    }
44    {
45        typedef std::map<MoveOnly, MoveOnly, std::less<MoveOnly>, test_allocator<V>> C;
46        static_assert(!std::is_nothrow_move_assignable<C>::value, "");
47    }
48#if defined(_LIBCPP_VERSION)
49    {
50        typedef std::map<MoveOnly, MoveOnly, std::less<MoveOnly>, other_allocator<V>> C;
51        static_assert(std::is_nothrow_move_assignable<C>::value, "");
52    }
53#endif // _LIBCPP_VERSION
54    {
55        typedef std::map<MoveOnly, MoveOnly, some_comp<MoveOnly>> C;
56        static_assert(!std::is_nothrow_move_assignable<C>::value, "");
57    }
58}
59