[all-commits] [llvm/llvm-project] d48373: Re-apply "Deferred Concept Instantiation Implement...

[Erich Keane via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d483730d8c3fa2e0d4192b2f3c61c761b124e6ad
      https://github.com/llvm/llvm-project/commit/d483730d8c3fa2e0d4192b2f3c61c761b124e6ad
  Author: Erich Keane <erich.keane at intel.com>
  Date:   2022-08-17 (Wed, 17 Aug 2022)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/include/clang/Sema/Sema.h
    M clang/include/clang/Sema/Template.h
    M clang/lib/Sema/SemaConcept.cpp
    M clang/lib/Sema/SemaExpr.cpp
    M clang/lib/Sema/SemaOverload.cpp
    M clang/lib/Sema/SemaTemplate.cpp
    M clang/lib/Sema/SemaTemplateDeduction.cpp
    M clang/lib/Sema/SemaTemplateInstantiate.cpp
    M clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
    M clang/lib/Sema/TreeTransform.h
    M clang/test/CXX/temp/temp.constr/temp.constr.constr/non-function-templates.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.order/class-template-partial-specializations.cpp
    M clang/test/CXX/temp/temp.constr/temp.constr.order/var-template-partial-specializations.cpp
    A clang/test/SemaTemplate/concepts-friends.cpp
    M clang/test/SemaTemplate/concepts.cpp
    A clang/test/SemaTemplate/deferred-concept-inst.cpp
    M clang/test/SemaTemplate/instantiate-requires-clause.cpp
    A clang/test/SemaTemplate/trailing-return-short-circuit.cpp

  Log Message:
  -----------
  Re-apply "Deferred Concept Instantiation Implementation""

This reverts commit 258c3aee54e11bc5c5d8ac137eb15e8d5bbcc7e4.

This should fix the libc++ issue that caused the revert, by re-designing
slightly how we determined when we should evaluate the constraints.
Additionally, many of the other components to the original patch (the
NFC parts) were committed separately to shrink the size of this patch
for review.

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