811
|
1 // $HeadURL$
|
|
2 // $Date$
|
|
3 // $Author$
|
|
4
|
|
5 // @author@ Stewart Gordon <smjg_1998@yahoo.com>
|
|
6 // @date@ 2005-12-12
|
|
7 // @uri@ news:dnjnqe$16sv$1@digitaldaemon.com
|
|
8
|
|
9 module dstress.undefined.typedef_10_I;
|
|
10
|
|
11 /* When typedefs are arithmetically combined, what should be the type of the
|
|
12 * result? The spec gives no indication. This testcase asserts the way I
|
|
13 * feel it should be. (Stewart Gordon)
|
|
14 */
|
|
15 typedef int Int;
|
|
16
|
|
17 int main() {
|
|
18 short s;
|
|
19 Int i;
|
|
20
|
|
21 static assert (is(typeof(s + i) == int));
|
944
|
22
|
|
23 return 0;
|
811
|
24 }
|