On 01/21/2014 09:55 AM, Jason Merrill wrote:
I think I would prefer to change the "child" assert to be MAYBE_CLASS_TYPE_P rather than CLASS_TYPE_P.
On second thought, no, I think we do want to specifically handle TYPENAME_TYPE. But I think we want a different error message; getting a TYPENAME_TYPE here means that B has not been declared. The current scope is irrelevant. So we want to check for TYPENAME_TYPE before we think about checking prev_scope.
Jason
