Solidity 挑战 - 类型转换

你知道什么时候下面的代码会 revert 么？为什么？