view run/in_03.d @ 1603:2031b04871b3

Fix broken invariant + synchronized test. Synchronized is not a valid function attribute for structs!
author Christian Kamm <kamm incasoftware de>
date Sat, 28 Mar 2009 19:17:32 +0100
parents f87ba6507260
children
line wrap: on
line source

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

module dstress.run.in_03;

class MyClass{
	int x;
}

void check(in MyClass c){
	c=new MyClass();
	c.x=2;
}

int main(){
	MyClass c = new MyClass();
	c.x=1;
	assert(c.x==1);
	check(c);
	assert(c.x==1);
	return 0;
}