Jason Merrill wrote: > Mark Mitchell wrote: >> Don't we have to worry about >> >> x.X::template Y<Z>::w Ah, I didn't read your example closely enough. I'd expect that to be encoded as dt sT {type of x} sr N {X} 1Y I 1Z E E 1w using the more general binary expression encoding rule. Jason