[swift-evolution] [Draft] Hasher & HashVisitable
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