[Bug c++/58538] Injected class-name treated as type-name instead of template-name when used as a template-argument for a template template-parameter

[Bug c++/58538] Injected class-name treated as type-name instead of template-name when used as a template-argument for a template template-parameter

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58538

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The URL should be http://stackoverflow.com/questions/19013071/

[Bug c++/58538] Injected class-name treated as type-name instead of template-name when used as a template-argument for a template template-parameter

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58538

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Possibly related is that G++ treats X as the class template here, not the
injected class name, on contrast to other compilers:

template< template< typename > class T >
class factory { };

template< typename T >
class X
{
      friend class factory< X >;  // ***
};

int main()
{
}

[Bug c++/58538] Injected class-name treated as type-name instead of template-name when used as a template-argument for a template template-parameter

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:40c1352c5a4530350012d6a922435cf491663daa

commit r13-6694-g40c1352c5a4530350012d6a922435cf491663daa
Author: Jason Merrill <jason@redhat.com>
Date:   Tue Mar 14 23:16:21 2023 -0400

    c++: injected class name as default ttp arg [PR58538]

    This function needs to handle this case like convert_template_argument.

            PR c++/58538

    gcc/cp/ChangeLog:

            * semantics.cc (check_template_template_default_arg): Check
            maybe_get_template_decl_from_type_decl.

    gcc/testsuite/ChangeLog:

            * g++.dg/template/ttp7.C: Remove expected error.

[Bug c++/58538] Injected class-name treated as type-name instead of template-name when used as a template-argument for a template template-parameter

[ppalka at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
   Target Milestone|---                         |13.0
             Status|NEW                         |RESOLVED
                 CC|                            |ppalka at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #6 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed for GCC 13 then I suppose