いや、完全に文章がおかしかったです

「もしすべての最大限に特殊なメソッドが同じシグネチャをもたないならば」
と和訳されていますが、英文では
「If all the maximally specific methods have override-equivalent signatures, then」
とあるので「〜〜をもつならば」が正しいかと思われます