> On Mar 23, 2016, at 10:36 AM, Thorsten Seitz <[email protected]> wrote:
>
> I actually do prefer the explicit variant without type inference as I find it
> much clearer to see what the typealias requires.
As do I. Also, we don’t currently have any place in the language where we infer
constraints from the *definition* of an entity.
- Doug
>
> -Thorsten
>
> Am 23.03.2016 um 17:38 schrieb Douglas Gregor via swift-evolution
> <[email protected] <mailto:[email protected]>>:
>
>> Clarification here: the example is
>>
>> typealias DictionaryToStrings<T> = Dictionary<T, String>
>>
>> Either we infer T to require Hashable, or we call this ill-formed and
>> require the user to write
>>
>> typealias DictionaryToStrings<T: Hashable> = Dictionary<T, String>
>>
_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution
