view run/invariant_11.d @ 59:96cadd0da1ae

added invariant tests
author thomask
date Fri, 22 Oct 2004 20:29:58 +0000
parents
children 5f98d4a33d49
line wrap: on
line source

// the name function name "_invariant" isn't forbidden (dmd-0.104 documentation)
module dstress.run.invariant_11;

class MyClass{
        void _invariant(){
                assert(0);
        }

	invariant{
		assert(0);
	}
}

int main(){
        MyClass c = new MyClass();
        return 0;
}