my name is Jan Svoboda and I’d like to participate in this year’s GSoC.
In particular, I’m interested in improving template-related error messages by
using sugared (as-written) representation of template type arguments:
I’ve been looking through the source code and I have two questions regarding
the proposed design approach:
“… whenever a member of a class template specialization is accessed.”
How can I detect this kind of member access? In the first example with
vector<string>, is it as simple as checking the result of
FunctionDecl::isTemplateInstantiation? I think this check could be done in
FunctionDecl::getReturnTypewhen deducing types in the assignment.
“… add a new type node to represent template argument sugar,”
How can I fetch the template argument sugar? I believe it’s already being
clang::TemplateArgument, but haven’t found and obvious way how
to get it from
Any thoughts appreciated.