contract C {
receive(uint256) external payable {}
}
// ----
// TypeError 6857: (24-33): Receive ether function cannot take parameters.