gcc/testsuite/g++.dg/concepts/template-parm10.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<int N, class T>
   4   concept bool P() { return true; }
   5
   6 template<template<typename> class X, class T>
   7   concept bool Q() { return true; }
   8
   9 template<P<int> N> void f() { }
  10 template<Q<int> X> void g() { }
  11
  12 template<typename> struct S { };
  13
  14 int main() {
  15   f<0>();
  16   g<S>();
  17 }