1contract A1 { constructor() {} }
2contract B1 is A1 {}
3
4contract A2 { constructor() payable {} }
5contract B2 is A2 {}
6
7contract B3 {}
8
9contract B4 { constructor() {} }
10
11contract C {
12	function f() public payable {
13		new B1{value: 10}();
14		new B2{value: 10}();
15		new B3{value: 10}();
16		new B4{value: 10}();
17	}
18}
19// ----
20// TypeError 7006: (214-231): Cannot set option "value", since the constructor of contract B1 is not payable.
21// TypeError 7006: (237-254): Cannot set option "value", since the constructor of contract B2 is not payable.
22// TypeError 7006: (260-277): Cannot set option "value", since the constructor of contract B3 is not payable.
23// TypeError 7006: (283-300): Cannot set option "value", since the constructor of contract B4 is not payable.
24