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

[via cfe-commits]

================
@@ -3239,6 +3239,40 @@ static TemplateDeductionResult FinishTemplateArgumentDeduction(
 
   return TemplateDeductionResult::Success;
 }
+/// Complete template argument deduction for DeduceTemplateArgumentsFromType.
+/// FIXME: this is mostly duplicated with the above two versions. Deduplicate
+/// the three implementations.
----------------
cor3ntin wrote:

Is that something you would be willing to do in a follow up patch?

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