[clang] [clang] CTAD: implement the missing IsDeducible constraint for alias templates (PR #89358)

[Erich Keane via cfe-commits]

https://github.com/erichkeane commented:

Needs a release note, and I think we actually DO have to do those diagnostics here.  

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