[swift-evolution] [Draft] Hasher & HashVisitable

Joe Groff jgroff at apple.com
Tue Mar 14 16:40:54 CDT 2017

> On Mar 14, 2017, at 2:36 PM, Vincent Esche <regexident.mailinglists at gmail.com> wrote:
> Pardon my ignorance here, but shouldn’t `foo<T: Protocol>(t: T)` always monomorphize due to being generic? Isn’t that how `T: …` differs from, say `foo(t: Protocol)`?

The compiler ought to be able to monomorphize either signature, given that it can see the implementation of `foo`. If `foo` is a public function from another module, you can't see its implementation.


More information about the swift-evolution mailing list