[C++ Patch] PR 51448, 53618, 58059

[Paolo Carlini]

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.