blob: bcefe3fc94f6b708c2d880c1d06dca997b916c82 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
// { dg-do compile { target c++11 } }
template<template<class> class TT> struct X { };
template<class> struct Y { };
template<class T> using Z = Y<T>;
void f(X<Y>);
void g(X<Z>);
void
foo()
{
// Below x and y have the same type (DR 1286)
X<Y> y;
X<Z> z;
// ... So these must compile.
f(z); // { dg-bogus "" }
g(y); // { dg-bogus "" }
}
template<class> struct A0 {};
template<class T> using AA0 = A0<T>;
template<class T> using AAA0 = AA0<T>;
void f0(A0<int>);
void
g0()
{
AA0<int> a;
AAA0<int> b;
f0(a);
f0(b);
}
|