gcc/testsuite/g++.dg/concepts/fn5.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 // Check shorthand notation.
   4
   5 template<typename T>
   6   concept bool Type() { return true; }
   7
   8 template<typename T, typename U>
   9   concept bool Same() { return __is_same_as(T, U); }
  10
  11 template<Same<int> T> struct S1 { };
  12 template<typename T, Same<T> U> struct S2 { };
  13
  14 void f(Same<int> q) { }
  15 void g(Type a, Same<decltype(a)> b) { }
  16
  17 int main() {
  18   S1<char> s1;      // { dg-error "constraint|invalid" }
  19   S2<int, char> s2; // { dg-error "constraint|invalid" }
  20
  21   f('a');    // { dg-error "cannot" }
  22   g(0, 'a'); // { dg-error "cannot" }
  23 }