1 /*
2 TEST_OUTPUT:
3 ---
4 fail_compilation/fail12901.d(11): Error: constructor fail12901.S.this in and out contracts require function body
5 ---
6 */
7 
8 struct S
9 {
10     int a;
thisS11     this(int n)
12     in { a = n; }
13     // no body
14 }
15