Mercurial > hg > CbC > CbC_gcc
annotate gcc/testsuite/g++.dg/concepts/alias4.C @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children | 84e7813d76e9 |
rev | line source |
---|---|
111 | 1 // { dg-options "-std=c++17 -fconcepts" } |
2 | |
3 template<typename T> | |
4 concept bool C() { return __is_class(T); } | |
5 | |
6 template<typename T> | |
7 requires C<T>() | |
8 using X = T*; | |
9 | |
10 // BUG: Alias templates are expanded at the point of use, regardless | |
11 // of whether or not they are dependent. This causes T* to be substituted | |
12 // without acutally checking the constraints. | |
13 template<typename T> | |
14 using Y = X<T>; | |
15 | |
16 int main() | |
17 { | |
18 Y<int> y1; // { dg-error "" "" { xfail *-*-* } } | |
19 } |