blob: cbce4f3be6d57f00044ab103548a6c02328c6dd7 (
plain)
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>();
}
|