Type of capture is broken in body of lambda with explicit object parameter

[xiaosa-zhz]

https://godbolt.org/z/W9aW4Gvfo
https://godbolt.org/z/Yd9qanx55

Replacing explicit object parameter with normal parameter list can be correctly rejected.

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: None (xiaosa-zhz)

https://godbolt.org/z/W9aW4Gvfo https://godbolt.org/z/Yd9qanx55

Replacing explicit object parameter with normal parameter list can be correctly rejected.

[shafik]

This report is not clear.

The two pieces of code all work in recent clangs back to clang-19, we don't backport fixes past the last release.

If you still have an issue please post the code that does not work in the summary and the diagnostics. If this works in clang-trunk and the last release then we will consider it fixed.

[xiaosa-zhz]

This report is not clear.

The two pieces of code all work in recent clangs back to clang-19, we don't backport fixes past the last release.

If you still have an issue please post the code that does not work in the summary and the diagnostics. If this works in clang-trunk and the last release then we will consider it fixed.

It is accepts-invalid, and trunk is already included (and also accepts the code incorrectly).
I accidently find that the first version this feature is introduced (clang 18) somehow emits correct diagnostics so all compiler versions since then are included.

[xiaosa-zhz]

Update example to avoid 'ill-formed, ndr.'
https://godbolt.org/z/x6G6q5chd

[cor3ntin]

Reduced to

int main() {
    [n = 42]<typename Self>(this Self &&) {
        static_assert((decltype(n){}, false));
    }();
}