gcc/testsuite/g++.dg/cpp2a/explicit10.C

   1 // P0892R2
   2 // { dg-do compile }
   3 // { dg-options "-std=c++2a" }
   4
   5 #include <type_traits>
   6
   7 class A {};
   8 class B : public A {};
   9 class C {};
  10 class D { public: operator C() { return c; }  C c; };
  11
  12 template <typename T1, typename T2>
  13 struct S {
  14   explicit(!std::is_convertible_v<T1, T2>)
  15   S(T1, T2) { }
  16 };
  17
  18 void
  19 foo ()
  20 {
  21   A a;
  22   B b;
  23   C c;
  24   D d;
  25
  26   S<int, int> s{ 1, 2 };
  27   S<int, int> s2 = { 1, 2 };
  28   S<B*, A*> s3 = { &b, &a };
  29   S<A*, B*> s4 = { &a, &b }; // { dg-error "converting" }
  30   S<B*, C*> s5 = { &b, &c }; // { dg-error "converting" }
  31   S<D, C> s6 = { d, c };
  32 }