HighCommander4 wrote:
> We can also create a new matcher for `dependentNameType` so we can use it
> like `dependentNameType(hasDependentType(builtinType()))`, which is similar
> to Complex and Array types.
I don't think `DependentNameType` has a `Type` property that we could match in
this way; the idea behind `DependentNameType` is that resolving it to a
concrete `Type` needs to be deferred until after instantiation when the
dependent name can be looked up.
That said, it would be useful to have a matcher for the **name** of a
`DependentNameType`, something like
`dependentNameType(hasDependentName("type"))` for `typename T::type`. I don't
know how straightforward it is to overload a matcher name (`hasDependentName`
in this case) in this way, but if you're interested in playing around with it,
I think that would make for a useful addition!
https://github.com/llvm/llvm-project/pull/121656
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
