自動で共通のスーパータイプを見つけてくると、意図せず Any になっちゃったりして難しいかもですね。あと、 any View の場合は self conformance 問題って解決されたんでしたっけ？まあ、 View は結局 ViewBuilder で組み立てるから if 式使う必要なさそうですが。