public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/105106] New: Dependent invocation with defaulted NTTP lambda fails
@ 2022-03-30 11:34 johelegp at gmail dot com
  2022-03-30 12:45 ` [Bug c++/105106] " johelegp at gmail dot com
  2024-04-15 22:24 ` [Bug c++/105106] Non-dependent call " ppalka at gcc dot gnu.org
  0 siblings, 2 replies; 3+ messages in thread
From: johelegp at gmail dot com @ 2022-03-30 11:34 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105106

            Bug ID: 105106
           Summary: Dependent invocation with defaulted NTTP lambda fails
           Product: gcc
           Version: 9.4.1
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: johelegp at gmail dot com
  Target Milestone: ---

See https://godbolt.org/z/obfY3Mdba:
```C++
template <auto l = []{}>
auto foo() {
    return l;
}

template <class>
auto bar() {
    return foo();
}
```

The error message looks cut short:
```
<source>: In function 'auto bar()':
<source>:8:16: error: no matching function for call to 'foo()'
    8 |     return foo();
      |                ^
<source>:2:6: note: candidate: 'template<auto l> auto foo()'
    2 | auto foo() {
      |      ^~~
<source>:2:6: note:   template argument deduction/substitution failed:
```

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug c++/105106] Dependent invocation with defaulted NTTP lambda fails
  2022-03-30 11:34 [Bug c++/105106] New: Dependent invocation with defaulted NTTP lambda fails johelegp at gmail dot com
@ 2022-03-30 12:45 ` johelegp at gmail dot com
  2024-04-15 22:24 ` [Bug c++/105106] Non-dependent call " ppalka at gcc dot gnu.org
  1 sibling, 0 replies; 3+ messages in thread
From: johelegp at gmail dot com @ 2022-03-30 12:45 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105106

--- Comment #1 from Johel Ernesto Guerrero Peña <johelegp at gmail dot com> ---
There is implementation divergence in the resulting closure type(s):
https://godbolt.org/z/W98r49o8s.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug c++/105106] Non-dependent call with defaulted NTTP lambda fails
  2022-03-30 11:34 [Bug c++/105106] New: Dependent invocation with defaulted NTTP lambda fails johelegp at gmail dot com
  2022-03-30 12:45 ` [Bug c++/105106] " johelegp at gmail dot com
@ 2024-04-15 22:24 ` ppalka at gcc dot gnu.org
  1 sibling, 0 replies; 3+ messages in thread
From: ppalka at gcc dot gnu.org @ 2024-04-15 22:24 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105106

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |12.2
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=105652

--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> ---
This is fixed for 12.2/13 by the fix for PR105652.

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2024-04-15 22:24 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-03-30 11:34 [Bug c++/105106] New: Dependent invocation with defaulted NTTP lambda fails johelegp at gmail dot com
2022-03-30 12:45 ` [Bug c++/105106] " johelegp at gmail dot com
2024-04-15 22:24 ` [Bug c++/105106] Non-dependent call " ppalka at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).