Solidity : Unsafe type inference