[Bug c++/54948] template unnecessarily displayed as "A< template-parameter-1-1 >" not "A<T>"

["redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=104094

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
This continues to be annoying. Libstdc++ has loads of forward declarations of
templates, e.g. in <type_traits>:

  // Forward declarations
  template<typename>
    struct is_reference;
  template<typename>
    struct is_function;
  template<typename>
    struct is_void;
  template<typename>
    struct remove_cv;
  template<typename>
    struct is_const;

Which means we then get diagnostics containing:

std::is_same<_U1, typename std::remove_cv< <template-parameter-1-1> >::type&>

I agree with Manu that this could just show "typename" here. We don't refer to
the template-parameter-1-1 type again in the diagnostic, so why do we care
about uniquely identifying it as 1-1?

But why is it even using the name from the remove_cv declaration? That should
not be appearing in the *use* of remove_cv here. I've filed that as PR 104094.