libcxx/test/std/iterators/predef.iterators/reverse.iterators/reverse.iter.cons/assign.LWG3435.verify.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 // <iterator>
  10
  11 // reverse_iterator
  12
  13 // template <class U>
  14 //  requires !same_as<U, Iter> && convertible_to<const U&, Iter> && assignable_from<Iter&, const U&>
  15 // reverse_iterator& operator=(const reverse_iterator<U>& u);
  16
  17 #include <iterator>
  18
  19 struct Base { };
  20 struct Derived : Base { };
  21
  22 void test() {
  23     std::reverse_iterator<Base*> base;
  24     std::reverse_iterator<Derived*> derived;
  25     derived = base; // expected-error {{no viable overloaded '='}}
  26 }