==Motivation==
protocol From {
associatedtype FromType
init(_ value: FromType)
}
The problem is, one type cannot implement multiple From "conversions".
==Proposed solution==
Allow specifying all associated types using generic syntax.
extension Int : From<Float> { }
extension Int : From<Double> { }
This is only allowed in conformance declarations.
==Future directions==
We can replace all *Convertible protocols with From and Into, which will be
defined similarly to Rust.
- Anton
_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution
