libstdc++-v3/testsuite/std/ranges/subrange/lwg3282_neg.cc

   1 // Copyright (C) 2020-2022 Free Software Foundation, Inc.
   2 //
   3 // This file is part of the GNU ISO C++ Library.  This library is free
   4 // software; you can redistribute it and/or modify it under the
   5 // terms of the GNU General Public License as published by the
   6 // Free Software Foundation; either version 3, or (at your option)
   7 // any later version.
   8
   9 // This library is distributed in the hope that it will be useful,
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 // GNU General Public License for more details.
  13
  14 // You should have received a copy of the GNU General Public License along
  15 // with this library; see the file COPYING3.  If not see
  16 // <http://www.gnu.org/licenses/>.
  17
  18 // { dg-options "-std=gnu++2a" }
  19 // { dg-do compile { target c++2a } }
  20
  21 #include <ranges>
  22
  23 using std::ranges::subrange;
  24
  25 // LWG 3282. subrange converting constructor should disallow derived to base
  26 // conversions
  27
  28 struct Base {};
  29 struct Derived : Base {};
  30 subrange<Derived*> sd;
  31 subrange<Base*> sb = sd; // { dg-error "conversion" }
  32
  33 void
  34 test_lwg3404()
  35 {
  36   // LWG 3404. Finish removing subrange's conversions from pair-like
  37   std::pair<char*, char*> p;
  38   subrange sb1(p);                      // { dg-error "no matching function" }
  39   // { dg-error "class template argument deduction" "" { target *-*-* } 38 }
  40   subrange sb2(p, p.second - p.first);  // { dg-error "no matching function" }
  41   // { dg-error "class template argument deduction" "" { target *-*-* } 40 }
  42
  43   // { dg-prune-output "in requirements with" }
  44 }