I'm back

[bearophile]

Joseph Rushton Wakeling:

> I'm not actually suggesting that the particular syntax above 
> necessarily ought to work, but I'd like an easy way to ensure 
> that one template parameter can be determined from another.

Right. But I think that syntax is the most natural one for that.

And Hara now thinks it's an idea worth considering:
http://d.puremagic.com/issues/show_bug.cgi?id=9004#c3

Bye,
bearophile