CV qualifier and substitutions

[Martin von Loewis]

> So, to restate Alain's note, the issue is this:
> 
> - The current definition treats the intermediately-qualified types to
>   be substituted, maximizing substitutability in some sense.
> 
> - But some implementations don't maintain internal symbol table entries
>   for the intermediate types.  So this probably violates our principle
>   of only mangling things with a convenient symbol table handle, for
>   those implementations at least.
> 
> Should we eliminate substitution for the intermediates, losing some
> opportunities but maybe easing some implementations?
> 
> Can we get people's reactions to this issue?

The savings of recycling a partially-qualified type are minimal, so
I agree this is a good idea.

Regards,
Martin