447
|
1 // $HeadURL$
|
|
2 // $Date$
|
|
3 // $Author$
|
|
4
|
|
5 // @author@ Kris <fu@bar.com>
|
|
6 // @date@ 2005-04-18
|
|
7 // @uri@ news:d3rulu$bn9$1@digitaldaemon.com
|
|
8
|
|
9 module dstress.run.bug_20050418_02;
|
|
10
|
|
11 class Buffer{
|
|
12 uint limit;
|
|
13 int position;
|
|
14
|
|
15 invariant{
|
|
16 assert (position <= limit);
|
|
17 }
|
|
18 }
|
|
19
|
|
20 class Mapped : Buffer{
|
|
21 this(){
|
|
22 }
|
|
23 }
|
|
24
|
|
25 int main(){
|
|
26 Buffer a = new Buffer();
|
|
27 Mapped b = new Mapped();
|
|
28 Buffer c = new Mapped();
|
|
29 assert(a);
|
|
30 assert(b);
|
|
31 assert(c);
|
|
32 return 0;
|
|
33 }
|