diff options
| author | Saar Raz <saar@raz.email> | 2020-01-27 00:57:31 +0200 |
|---|---|---|
| committer | Saar Raz <saar@raz.email> | 2020-01-27 01:00:12 +0200 |
| commit | b39efdbcfcb7c7a5e867a99c2d3e756c538fbb9f (patch) | |
| tree | 0ac8ee67b7cc32ccd770e756e3754337f3e29ac7 /clang/test | |
| parent | b07b82777b9ad19c44c6eb347507f1fdda3ddf34 (diff) | |
| download | bcm5719-llvm-b39efdbcfcb7c7a5e867a99c2d3e756c538fbb9f.tar.gz bcm5719-llvm-b39efdbcfcb7c7a5e867a99c2d3e756c538fbb9f.zip | |
[Concepts] Fix incorrect TemplateArgs for introduction of local parameters
The wrong set of TemplateArgs was being provided to addInstantiatedParametersToScope.
Caused bug #44658.
(cherry picked from commit 9c24fca2a33fc0fd059e278bb95c84803dfff9ae)
Diffstat (limited to 'clang/test')
| -rw-r--r-- | clang/test/SemaTemplate/instantiate-requires-clause.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/clang/test/SemaTemplate/instantiate-requires-clause.cpp b/clang/test/SemaTemplate/instantiate-requires-clause.cpp index 31cf484d564..8e9d5bffa90 100644 --- a/clang/test/SemaTemplate/instantiate-requires-clause.cpp +++ b/clang/test/SemaTemplate/instantiate-requires-clause.cpp @@ -51,3 +51,10 @@ struct S2 { static_assert((S2<int>::f(), true)); +template<typename T> +struct S3 { + template<typename... Args> requires true + static constexpr void f(Args...) { } +}; + +static_assert((S3<int>::f(), true));
\ No newline at end of file |
