On 12/14/2009 04:28 PM, Dodji Seketeli wrote: > On Mon, Dec 14, 2009 at 01:21:54PM -0500, Jason Merrill wrote: >> ...but clearly it's a problem. What happens if you remove the TTIs and >> just say T::TI in both places? > > It works okay because the T typedef is stripped as it is not hidden behind a > TYPENAME_TYPE. I mean S0<typename T::TI>. Jason