[all-commits] [llvm/llvm-project] 96ed02: [Concepts] Fix incorrect check when instantiating ...

[Saar Raz via All-commits]

  Branch: refs/heads/release/10.x
  Home:   https://github.com/llvm/llvm-project
  Commit: 96ed02ddeebfd18265ef687fce80e7e148ec261c
      https://github.com/llvm/llvm-project/commit/96ed02ddeebfd18265ef687fce80e7e148ec261c
  Author: Saar Raz <saar at raz.email>
  Date:   2020-02-06 (Thu, 06 Feb 2020)

  Changed paths:
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
    M clang/test/SemaTemplate/instantiate-abbreviated-template.cpp

  Log Message:
  -----------
  [Concepts] Fix incorrect check when instantiating abbreviated template type-constraints

We would incorrectly check whether the type-constraint had already been initialized, causing us
to ignore the invented template type constraints entirely.

Also, TemplateParameterList would store incorrect information about invented type parameters
when it observed them before their type-constraint was initialized, so we recreate it after
initializing the function type of an abbreviated template.

(cherry picked from commit 38fd69995fc5a6f16e0aa132a46e5ccdbc2eebb3)