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
