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()9template<P<int> N> void f() { } g()10template<Q<int> X> void g() { } 11 12 template<typename> struct S { }; 13 main()14int main() { 15 f<0>(); 16 g<S>(); 17 } 18