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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
/*
TEST_OUTPUT:
---
tuple((A), (B))
tuple((A), (B), 0)
tuple((A), (B), (A))
tuple((A), (B), (A), (B))
tuple((A), (B), (A), (B))
tuple((A), (B), (A), (B), (A), (B), (A), (B))
tuple((Attr))
---
*/
// Issue 19728
enum A; enum B; enum Dummy = 0;
alias Seq(T...) = T;
@Seq!(A,B) struct Foo1 {}
@Seq!(A,B, Dummy) struct Foo2 {}
@Seq!(A,B,A) struct Foo3 {}
@Seq!(Seq!(A,B,A,B)) struct Foo4 {}
@Seq!(A,Seq!(B,A),B) struct Foo5 {}
@Seq!(A,Seq!(B,A),B) @Seq!(A,B,A,B) struct Foo6 {}
pragma(msg, __traits(getAttributes, Foo1));
pragma(msg, __traits(getAttributes, Foo2));
pragma(msg, __traits(getAttributes, Foo3));
pragma(msg, __traits(getAttributes, Foo4));
pragma(msg, __traits(getAttributes, Foo5));
pragma(msg, __traits(getAttributes, Foo6));
struct S(T...) {}
static assert(is( S!(A,B) == S!(__traits(getAttributes, Foo1))));
static assert(is( S!(A,B,Dummy) == S!(__traits(getAttributes, Foo2))));
static assert(is( S!(A,B,A) == S!(__traits(getAttributes, Foo3))));
static assert(is( S!(A,B,A,B) == S!(__traits(getAttributes, Foo4))));
static assert(is( S!(A,B,A,B) == S!(__traits(getAttributes, Foo5))));
static assert(is(S!(A,B,A,B,A,B,A,B) == S!(__traits(getAttributes, Foo6))));
// Issue 20093
mixin template MakeProperty(Attributes...) {
@(Attributes) void bug() {}
}
struct Attr { }
struct Test {
mixin MakeProperty!(Attr);
}
pragma(msg, __traits(getAttributes, Test.bug));
|
