Hi again,
On 07/02/2014 05:06 PM, Paolo Carlini wrote:
.. consider this patch withdrawn. I believe that something is going
wrong indeed as part of most_specialized_instantiation but the details
need to be figured out. I'm now focusing on fn_type_unification via
get_bindings.
In fact my typo above most_specialized_instantiation vs most_specialized
class reveals something: we don't seem to have an analogous for
*classes* of the mechanism implemented in fn_type_unification for
functions, and all the testcases I'm handling involve *classes*.
Paolo.
