[clang] [clang] CTAD: Track template template type parameters that referenced in (PR #85405)

[Ilya Biryukov via cfe-commits]

ilya-biryukov wrote:

The change seems to be correct in the way code is written.

However, I wonder what's the connection between the crash and the function being changed? Is there a way to fail gracefully if there are more mistakes in this function for incorrect code (e.g. fail deduction instead of crashing)?

Is this also a correctness issue? Is it possible to come with an example where the correct code causes a crash? (I suspect there is, we should probably add it in as well as this is more severe than crashes on incorrect code).

https://github.com/llvm/llvm-project/pull/85405