> On 16 May 2016, at 01:45, Brent Royal-Gordon via swift-evolution > <[email protected]> wrote: > > I'm actually tempted to suggest that a conformance should be *mandatory* and > you should have to specify `Any` if you don't have anything more specific to > say about the generic parameter: > > func map<T: Any>(@noescape transform: (Element) throws -> T) rethrows > -> [T]
That's a good idea indeed if we ever intend to have other kinds of generic arguments (in particular, constant values like `length: Int`). Even so, I wouldn't want to prohibit adding more protocol constraints in the where clause even if you can introduce all constaints of `T` at once as `T: protocol<A, B>`. — Pyry
_______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
