>>23
同一の型へのキャストはno effectだったという記憶があるような
ないような。