annotate run/a/auto_20_A.d @ 1549:1e01d8b3e715

Dave <godaves@yahoo.com> 2006-11-26 http://d.puremagic.com/issues/show_bug.cgi?id=606
author thomask
date Mon, 23 Jul 2007 18:41:38 +0000
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1549
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
1 // $HeadURL$
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
2 // $Date$
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
3 // $Author$
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
4
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
5 // @author@ Dave <godaves@yahoo.com>
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
6 // @date@ 2006-11-26
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
7 // @uri@ http://d.puremagic.com/issues/show_bug.cgi?id=606
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
8
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
9 module dstress.run.a.auto_20_A;
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
10
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
11 int prop() {
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
12 return 0x12AA34FF;
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
13 }
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
14
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
15 int main(){
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
16 auto x = prop;
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
17 static assert(is(typeof(x) == int));
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
18
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
19 if(0x12AA34FF != x){
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
20 assert(0);
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
21 }
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
22
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
23 return 0;
1e01d8b3e715 Dave <godaves@yahoo.com>
thomask
parents:
diff changeset
24 }