1 /* 2 TEST_OUTPUT: 3 --- 4 fail_compilation/fail6453.d(13): Error: struct fail6453.S6453x mixing invariants with shared/synchronized differene is not supported 5 fail_compilation/fail6453.d(18): Error: class fail6453.C6453y mixing invariants with shared/synchronized differene is not supported 6 fail_compilation/fail6453.d(23): Error: class fail6453.C6453z mixing invariants with shared/synchronized differene is not supported 7 --- 8 */ 9 10 struct S6453x 11 { invariantS6453x12 invariant() {} invariantS6453x13 shared invariant() {} 14 } 15 class C6453y 16 { invariant()17 invariant() {} invariant()18 synchronized invariant() {} 19 } 20 class C6453z 21 { invariant()22 shared invariant() {} invariant()23 synchronized invariant() {} 24 } 25