1contract A {
2	receive() external payable {
3		revert("no_receive");
4	}
5}
6
7contract C {
8	A a = new A();
9	receive() external payable {}
10	function f() public {
11		payable(a).transfer(1 wei);
12	}
13	function h() public {
14		payable(a).transfer(100 ether);
15	}
16	function g() public view returns (uint) {
17		return payable(this).balance;
18	}
19}
20// ====
21// EVMVersion: >=byzantium
22// compileViaYul: also
23// revertStrings: debug
24// ----
25// (), 10 wei ->
26// g() -> 10
27// f() -> FAILURE, hex"08c379a0", 0x20, 10, "no_receive"
28// h() -> FAILURE
29