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

[Saar Raz via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 980517b3530ffb7faa1a23fdc007d78f5b45ae3c
      https://github.com/llvm/llvm-project/commit/980517b3530ffb7faa1a23fdc007d78f5b45ae3c
  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.