Opaque result types

Factory initializers pretty much work already today for classes; there's just no syntax for them. (Semantically, they're non-inherited initializers that can't be called with self.init or super.init.) They're not blocked by this proposal; someone just needs to go pick a syntax, implement it, and write it up as its own pitch.

6 Likes