型が壊れないのは LLVM レベルの話だと思うので、Swift の型検査には通らないみたいなケースは結構ありそうな気がします