破綻するというかAnyとかExistentialとかスーパータイプ的なやつらは全部 deinit throws になっちゃいますね