[Bug c++/67041] New: [C++14] Variable template initialized by call to lambda does not compile

[Bug c++/67041] New: [C++14] Variable template initialized by call to lambda does not compile

[ldionne.2 at gmail dot com]

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

            Bug ID: 67041
           Summary: [C++14] Variable template initialized by call to
                    lambda does not compile
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ldionne.2 at gmail dot com
  Target Milestone: ---

The following code does not compile on GCC trunk:

-------------------------------
template <typename ...Anything>
auto variable_template = [] { return 1; }();

int main() {
    variable_template<>;
}
-------------------------------

The error is 

---------------------------------
prog.cc: In instantiation of 'auto variable_template<>':
prog.cc:5:5:   required from here
prog.cc:2:42: error: use of 'variable_template<>' before deduction of 'auto'
 auto variable_template = [] { return 1; }();
                                          ^
prog.cc:2:42: error: use of '<lambda()> [with Anything = {}]' before deduction
of 'auto'
---------------------------------

Live example: http://melpon.org/wandbox/permlink/srH8coYkvigwJSkb

Note that Clang compiles this code fine.

[Bug c++/67041] [C++14] Variable template initialized by call to lambda does not compile

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-07-28
     Ever confirmed|0                           |1

[Bug c++/67041] [C++14] Variable template initialized by call to lambda does not compile

[ldionne.2 at gmail dot com]

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

--- Comment #1 from Louis Dionne <ldionne.2 at gmail dot com> ---
Can be simplified to:

    template <typename ...Anything>
    auto variable_template = [] { };

    int main() {
        variable_template<>;
    }

Still fails on GCC trunk.

[Bug c++/67041] [C++14] Variable template initialized by call to lambda does not compile

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |norbert.pfeiler+gcc.gnu.org
                   |                            |/bugzilla at gmail dot com

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
*** Bug 67350 has been marked as a duplicate of this bug. ***

[Bug c++/67041] [C++14] Variable template initialized by call to lambda does not compile

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue Sep  8 19:33:47 2015
New Revision: 227553

URL: https://gcc.gnu.org/viewcvs?rev=227553&root=gcc&view=rev
Log:
        PR c++/67041
        * pt.c (tsubst_copy_and_build): Handle variables like functions.

Added:
    trunk/gcc/testsuite/g++.dg/cpp1y/lambda-var-templ1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/pt.c

[Bug c++/67041] [C++14] Variable template initialized by call to lambda does not compile

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |6.0

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed for GCC 6.