Comparing by same_type_p means that we treat any template parameter of the appropriate level and index as equivalent. But that should be OK, since we only have one set of level N template parameters in scope. So I think we should be able to just compare the level of the template parameter to the level of the parameters of the template. Right?

Jason

Reply via email to