diff --git a/cpp/ql/lib/change-notes/2024-12-20-template-template-instantiation.md b/cpp/ql/lib/change-notes/2024-12-20-template-template-instantiation.md new file mode 100644 index 000000000000..b09dd59e6862 --- /dev/null +++ b/cpp/ql/lib/change-notes/2024-12-20-template-template-instantiation.md @@ -0,0 +1,6 @@ +--- +category: feature +--- +* A new class `TemplateTemplateParameterInstantiation` was introduced, which represents the instantiation of a template template parameter. +* A new predicate `getAnInstantiation` was added to the `TemplateTemplateParameter` class, which yields instantiations of the template template parameter. +* The `getTemplateArgumentType` and `getTemplateArgumentValue` predicates of the `Declaration` now also yield template arguments of template template parameters.