Make non-payable default for conversion to address.

This commit is contained in:
chriseth 2018-09-20 10:54:19 +02:00
parent 2150aea344
commit d0461c49fe
8 changed files with 43 additions and 5 deletions

View File

@ -1778,9 +1778,7 @@ bool TypeChecker::visit(FunctionCall const& _functionCall)
}
if (resultType->category() == Type::Category::Address)
{
bool payable = true;
if (auto const* contractType = dynamic_cast<ContractType const*>(argType.get()))
payable = contractType->isPayable();
bool payable = argType->isExplicitlyConvertibleTo(AddressType::addressPayable());
resultType = make_shared<AddressType>(payable ? StateMutability::Payable : StateMutability::NonPayable);
}
}

View File

@ -2641,8 +2641,8 @@ bool FunctionType::operator==(Type const& _other) const
bool FunctionType::isExplicitlyConvertibleTo(Type const& _convertTo) const
{
if (m_kind == Kind::External && _convertTo.category() == Category::Address)
return true;
if (m_kind == Kind::External && _convertTo == AddressType::address())
return true;
return _convertTo.category() == category();
}

View File

@ -0,0 +1,7 @@
contract C {
function f() public view returns (address payable) {
return address(this.f);
}
}
// ----
// TypeError: (85-100): Return argument type address is not implicitly convertible to expected type (type of first return variable) address payable.

View File

@ -0,0 +1,7 @@
contract C {
function f(address a) public pure returns (address payable) {
return address(address(a));
}
}
// ----
// TypeError: (94-113): Return argument type address is not implicitly convertible to expected type (type of first return variable) address payable.

View File

@ -0,0 +1,8 @@
contract C {
function f(bytes32 x) public pure returns (address payable) {
return address(x);
}
}
// ----
// TypeError: (94-104): Explicit type conversion not allowed from "bytes32" to "address".
// TypeError: (94-104): Return argument type address is not implicitly convertible to expected type (type of first return variable) address payable.

View File

@ -0,0 +1,8 @@
contract C {
function f(bytes10 x) public pure returns (address payable) {
return address(x);
}
}
// ----
// TypeError: (94-104): Explicit type conversion not allowed from "bytes10" to "address".
// TypeError: (94-104): Return argument type address is not implicitly convertible to expected type (type of first return variable) address payable.

View File

@ -0,0 +1,5 @@
contract C {
function f(bytes20 x) public pure returns (address payable) {
return address(x);
}
}

View File

@ -0,0 +1,5 @@
contract C {
function f(uint x) public pure returns (address payable) {
return address(x);
}
}