<div dir="auto"><div><div class="gmail_extra"><div class="gmail_quote">Am 05.02.2018 17:50 schrieb "Martok" <<a href="mailto:listbox@martoks-place.de">listbox@martoks-place.de</a>>:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">Am 05.02.2018 um 15:49 schrieb Maciej Izak:<br>
> for example final code for TFoo< TSomeArray> will be different than for<br>
> TFoo<TSomeArray> declared in other module (!).<br>
</div>Crap. True.<br>
<br>
Now I see why it is how it is.<br>
<br>
The maximum extent would be to accept overloads (and helpers) that are visible<br>
at the parameter type's declaration, because they would necessarily be visible<br>
in all specializations as well. That would be pretty much the same as how it<br>
currently accepts operators defined on the type, just one symtable up. It would<br>
also solve the "implementation restriction" from the manual - and only that. I<br>
think?</blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">That *could* be a possibility. I'd need to think about it a bit though to be sure that there are no caveats. </div><div dir="auto"><br></div><div dir="auto">Regards, </div><div dir="auto">Sven </div><div dir="auto"></div></div>