[all-commits] [llvm/llvm-project] cc8586: [Concepts] Check function constraints before deduc...

[Saar Raz via All-commits]

  Branch: refs/heads/release/10.x
  Home:   https://github.com/llvm/llvm-project
  Commit: cc85862c60a566332389bff6abad26e100cede6c
      https://github.com/llvm/llvm-project/commit/cc85862c60a566332389bff6abad26e100cede6c
  Author: Saar Raz <saar at raz.email>
  Date:   2020-01-31 (Fri, 31 Jan 2020)

  Changed paths:
    M clang/lib/Sema/SemaExpr.cpp
    M clang/test/CXX/expr/expr.prim/expr.prim.id/p4.cpp

  Log Message:
  -----------
  [Concepts] Check function constraints before deducing auto return type

A constrained function with an auto return type would have it's definition
instantiated in order to deduce the auto return type before the constraints
are checked.

Move the constraints check after the return type deduction.

(cherry picked from commit 980517b3530ffb7faa1a23fdc007d78f5b45ae3c)