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

   1 // P0892R2
   2 // { dg-do compile }
   3 // { dg-options "-std=c++2a" }
   4
   5 template<int M = 0> struct A {
   6   template<typename T, int N = 0>
   7   explicit(N + M) operator T();
   8 };
   9
  10 template<int M = 1> struct B {
  11   template<typename T, int N = 1>
  12   explicit(N * M) operator T();
  13 };
  14
  15 void
  16 bar ()
  17 {
  18   A a;
  19   int i = a;
  20
  21   A<0> a0;
  22   int i0 = a0;
  23
  24   A<1> a1;
  25   int i1 = a1; // { dg-error "cannot convert" }
  26
  27   B b;
  28   int j = b; // { dg-error "cannot convert" }
  29
  30   B<0> b0;
  31   int j0 = b0;
  32
  33   B<1> b1;
  34   int j1 = b1; // { dg-error "cannot convert" }
  35 }