On 22 August 2014 14:41, Andreas Färber <afaer...@suse.de> wrote: > You snipped the part of my message where I was clearly *not* advocating > to apply Alex' type change but suggested to annotate arg uses with the > actual type, so that intermediate casts can be inserted. If we were to > agree on some system, that could be done incrementally.
I snipped the other half of your message because it seemed to be predicated on Laurent's incorrect analysis (see my other email in reply to him). -- PMM