diff options
author | Jason Merrill <jason@redhat.com> | 2022-05-26 22:43:05 -0400 |
---|---|---|
committer | Jason Merrill <jason@redhat.com> | 2022-05-27 23:43:54 -0400 |
commit | 221acd67ca50f8f069037e034a3250f13d75a9f5 (patch) | |
tree | 3ea19b804a58d1514f5dd303d2cb234fd750ec3a /missing | |
parent | d9176e643f385c3ef3b8c28cbc0468776fd8a14f (diff) | |
download | gcc-221acd67ca50f8f069037e034a3250f13d75a9f5.zip gcc-221acd67ca50f8f069037e034a3250f13d75a9f5.tar.gz gcc-221acd67ca50f8f069037e034a3250f13d75a9f5.tar.bz2 |
c++: lambda in concept [PR105652]
We currently check satisfaction in the context of the constrained
declaration (which may be wrong, see PR104111). When checking C<int>
for S<int>, we currently substitute into the lambda in the context of
S<T> (rather than S<int>, which seems wrong if the above isn't wrong), so
the new closure type thinks its context is S<T>, which confuses debug
output. For the moment, let's work around all of this by overriding the
context of the closure.
PR c++/105652
gcc/cp/ChangeLog:
* pt.cc (tsubst_lambda_expr): Don't let a namespace-scope lambda
instantiate into a class-scope lambda.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-lambda20.C: New test.
Diffstat (limited to 'missing')
0 files changed, 0 insertions, 0 deletions