Getting underlying type for `using typename` declaration

Victor_LOST_Milovano · July 18, 2019, 6:20am

Hi CFE users!

I am trying to get a QualType instance from UnresolvedUsingTypenameDecl. Unlike TypeAliasDecl UnresolvedUsingTypenameDecl does not have a getUnderlyingType method.

I could not find a way to construct one from the DeclarationNameInfo (getNameInfo) and NestedNameSpecifier (getQualifier).

The library I am working on already supports type aliases, and I was hoping I could treat using typename declarations in a similar way. Not sure if it is the right way though.

Regards,

Victor

zygoloid · July 22, 2019, 7:38pm

Hi CFE users!

I am trying to get a QualType instance from UnresolvedUsingTypenameDecl. Unlike TypeAliasDecl UnresolvedUsingTypenameDecl does not have a getUnderlyingType method.

I could not find a way to construct one from the DeclarationNameInfo (getNameInfo) and NestedNameSpecifier (getQualifier).

You could build a suitable QualType by calling Sema::CheckTypenameType(ETK_Typename, U->getTypenameLoc(), U->getQualifierLoc(), U->getIdentifier(), U->getLocation()).