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