[clang] Diagnose shadowing of lambda's template parameter by a capture
authorMariya Podchishchaeva <mariya.podchishchaeva@intel.com>
Fri, 28 Apr 2023 10:26:35 +0000 (06:26 -0400)
committerMariya Podchishchaeva <mariya.podchishchaeva@intel.com>
Fri, 28 Apr 2023 11:26:30 +0000 (07:26 -0400)
commit0fb84bc7fdec1c20c2461e54d5c994939fe5b47f
tree3c7cfac9ea7bc5fb01054f9a7556f344927020ba
parentcf59f649ffa14818487713fd2636992b62a69a76
[clang] Diagnose shadowing of lambda's template parameter by a capture

expr.prim.lambda.capture p5 says:
If an identifier in a capture appears as the declarator-id of a parameter of
the lambda-declarator's parameter-declaration-clause or as the name of a
template parameter of the lambda-expression's template-parameter-list,
the program is ill-formed.
and also has the following example:
```
auto h = [y = 0]<typename y>(y) { return 0; };
```
which now results in
```
error: declaration of 'y' shadows template parameter
  auto l1 = [y = 0]<typename y>(y) { return 0; };
             ^
note: template parameter is declared here
  auto l1 = [y = 0]<typename y>(y) { return 0; };
                             ^
```

Fixes https://github.com/llvm/llvm-project/issues/61105

Reviewed By: shafik, cor3ntin

Differential Revision: https://reviews.llvm.org/D148712
clang/docs/ReleaseNotes.rst
clang/lib/Sema/SemaLambda.cpp
clang/test/CXX/expr/expr.prim/expr.prim.lambda/expr.prim.lambda.capture/p5.cpp [new file with mode: 0644]
clang/test/SemaCXX/warn-shadow-in-lambdas.cpp