gcc/testsuite/g++.dg/cpp2a/concepts-surrogate2.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// PR c++/110535
// { dg-do compile { target c++20 } }

using F = int(int);
using G = long(int);

template<bool B>
struct A {
 operator F&() requires B;
 operator G&() requires (!B);
};

int i = A<true>{}(0);  // { dg-bogus "ambiguous" }
int j = A<false>{}(0); // { dg-bogus "ambiguous" }