Solidity 0.5: when typed does not mean type safe

Silvia Crafa, Matteo Di Pirro

The recent release of Solidity 0.5 introduced a new type to prevent Ether transfers to smart contracts that are not supposed to receive money. Unfortunately, the compiler fails in…