contract C {
function f() external view {}
function test(address a) external view returns (bool status) {
// This used to incorrectly raise an error about violating the view mutability.
(status,) = a.staticcall.gas(42)("");
this.f.gas(42)();
}
}
solc-verify internal exception: Expected tuple as RHS
Details:
/root/project/libsolidity/boogie/AssignHelper.cpp(92): Throw in function static void dev::solidity::AssignHelper::makeTupleAssign(dev::solidity::AssignHelper::AssignParam, dev::solidity::AssignHelper::AssignParam, const dev::solidity::ASTNode*, dev::solidity::BoogieContext&, dev::solidity::AssignHelper::AssignResult&)
Dynamic exception type: boost::exception_detail::clone_impl<langutil::InternalCompilerError>
std::exception::what: Expected tuple as RHS
[dev::tag_comment*] = Expected tuple as RHS