third_party/libc++/src/test/std/containers/sequences/vector/vector.modifiers/resize_not_move_insertable.verify.cpp

//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

// UNSUPPORTED: c++03 && !stdlib=libc++

// <vector>

// Test that vector produces a decent diagnostic for user types that explicitly
// delete their move constructor. Such types don't meet the Cpp17CopyInsertable
// requirements.

#include <vector>

template <int>
class BadUserNoCookie {
public:
  BadUserNoCookie() { }

  BadUserNoCookie(BadUserNoCookie&&) = delete;
  BadUserNoCookie& operator=(BadUserNoCookie&&) = delete;

  BadUserNoCookie(const BadUserNoCookie&) = default;
  BadUserNoCookie& operator=(const BadUserNoCookie&) = default;
};

int main(int, char**) {
  // expected-error@* 2 {{The specified type does not meet the requirements of Cpp17MoveInsertable}}

  // Other diagnostics that might be seen as Clang tries to continue compiling:
  // expected-error@* 0-2 {{call to deleted constructor}}
  // expected-error@* 0-2 {{no matching function for call to '__construct_at'}}
  {

    std::vector<BadUserNoCookie<1> > x;
    x.emplace_back();
  }
  {
    std::vector<BadUserNoCookie<2> > x;
    BadUserNoCookie<2> c;
    x.push_back(c);
  }
  return 0;
}