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