// $HeadURL$
// $Date$
// $Author$

// @author@	Nick Sabalausky <z@a.a>
// @date@	2005-02-01
// @uri@	http://www.digitalmars.com/pnews/read.php?server=news.digitalmars.com&group=digitalmars.D.bugs&artnum=2825
// @uri@	nntp://news.digitmars.com/digitalmars.D.bugs

module dstress.run.overload_15;

int status;

void check(int x){
	status++;
}

class MyClass{
	void test(){
		assert(status==0);
		.check(0);
		assert(status==1);
		check();
		assert(status==3);
	}

	void check(){
		assert(status==1);
		status+=2;
	}
}

int main(){
	MyClass c = new MyClass();
	assert(status==0);
	c.test();
	assert(status==3);
	check(0);
	assert(status==4);
	return 0;
}