[all-commits] [llvm/llvm-project] 82a212: (PR46111) Properly handle elaborated types in an i...

[Erich Keane via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 82a21229da36bc53004dc54203e3bdeea718c942
      https://github.com/llvm/llvm-project/commit/82a21229da36bc53004dc54203e3bdeea718c942
  Author: Erich Keane <erich.keane at intel.com>
  Date:   2020-06-12 (Fri, 12 Jun 2020)

  Changed paths:
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
    A clang/test/AST/deduction-guides.cpp

  Log Message:
  -----------
  (PR46111) Properly handle elaborated types in an implicit  deduction guide

As reported in PR46111, implicit instantiation of a deduction guide
causes us to have an elaborated type as the parameter, rather than the
dependent type.

After review and feedback from @rsmith, this patch solves this problem
by wrapping the value in an uninstantiated typedef/type-alias that is
instantiated when required later.

Differential Revision: https://reviews.llvm.org/D80743