That is super great advice!
I think I understand how I can start, but I have a question (for now).
When you mention the
GenericParamDecl node to wrap the generics stuff do you actually mean a new entry to
DeclNodes.def or it's just a separate class used in
GenericParamList & friends?
In the former case, where in the node hierarchy should we put it? At the moment
GenericTypeParamDecl is an
AbstratcTypeParamDecl, that is a
TypeDecl, but parameter packs (probably) and value parameters (of course) are not types.
I have this doubt because you mention the eventual factoring of functionalities in the new
GenericParamDecl type so I am (wrongly?) assuming a type/class hierarchy may be involved.
Sorry for the errors but I'm writing this reply in a little bit of hurry!