True. But this does not require full semantic analysis, it only requires distinguishing between typedef names and other identifiers. You can argue that this par

True. But this does not require full semantic analysis, it only requires distinguishing between typedef names and other identifiers. You can argue that this part of semantic analysis, but this would be rather pedantic. Tracking this could equally seen as part of parsing.