[nem-en] overloads & inference

[Dmitry Ivankov]

And one tricky case I've just discovered:
if we currently have only one operator overload then it's not necessary the
right one :( , maybe more will be discovered when args are typed better.
Is it possible to check that args cant be typed anymore (but not fully typed
for example) smth like Solver.RunMe_IfNothingHelps (f : void->void), and f
is "ok, let it be this overload for operator/method".
-------------- next part --------------
An HTML attachment was scrubbed...
URL: /mailman/pipermail/devel-en/attachments/20070616/3e0a4d4f/attachment.html