CodeQL library for C/C++
codeql/cpp-all 6.1.1 (changelog, source)
Search

Member predicate ConceptIdExpr::getTemplateArgumentKind

Gets the kind of the template argument value at index index passed to the concept, if any.

For example, if:

template<typename T, T X> concept C = ...;
...
requires { C<int, 1>; };

then getTemplateArgumentKind(1) yields int, and there is no result for getTemplateArgumentKind(0).

Locatable getTemplateArgumentKind(int index)