Currently the resulting type is always invalid in such case.
It shouldn't be too hard to make a test using c-index-test. -test-print-type will print out the pointee type if it's valid.
Seems like this might make sense for Type::DeducedTemplateSpecialization too.
You are completely right! Thanks!
I did not think that -test-print-type also checks for the pointee.