gcc/testsuite/gdc.test/fail_compilation/fail6242.d - gcc - Git at Google

 /*
 TEST_OUTPUT:
 ---
 fail_compilation/fail6242.d(9): Error: cannot implicitly override base class method `fail6242.A.fun` with `fail6242.B.fun`; add `override` attribute
 ---
 */
 class A { void fun(int) {} }

 class B : A { void fun(int x) in { assert(x > 0); } do {} }
	/*
	TEST_OUTPUT:
	---
	fail_compilation/fail6242.d(9): Error: cannot implicitly override base class method `fail6242.A.fun` with `fail6242.B.fun`; add `override` attribute
	---
	*/
	class A { void fun(int) {} }

	class B : A { void fun(int x) in { assert(x > 0); } do {} }