That what this proposal should cover. AFAIK there have never been an intention to limit existential for the sake of making the language more static; rather, it was born out of technical limitations of Swift compiler in the past.

To dissuade people from using existentials by default, the ongoing discussion focuses on requiring 'any' keyword in an existential type declaration.