https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113584
Marek Polacek <mpolacek at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2024-01-24
Status|UNCONFIRMED |NEW
Ever confirmed|0 |1
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Started with r8-1437-g3da557ec145823:
commit 3da557ec145823c3f51ff3fa7c619d0064134800
Author: Jason Merrill <[email protected]>
AuthorDate: Fri Jun 16 22:27:59 2017 -0400
PR c++/81102 - Wrong error with partial specialization.
* pt.c (unify) [TEMPLATE_PARM_INDEX]: Strip reference when
comparing
types. Do type deduction later.
From-SVN: r249320
Before:
113584.C:25:38: error: ambiguous template instantiation for ‘struct
normalize_similar2<px<int> >’
using R = normalize_similar2<px<int>>::type;
^~
113584.C:12:10: note: candidates are: ‘template<class T, template<class, T
...<anonymous> > class Tpl, T ...xs> struct normalize_similar2<Tpl<T, xs ...> >
[with T = int; Tpl = px; T ...xs = {}]’
struct normalize_similar2<Tpl<T, xs...>>
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
113584.C:18:10: note: ‘template<template<class, unsigned int
...<anonymous> > class Tpl, class T, unsigned int ...N> struct
normalize_similar2<Tpl<T, N ...> > [with Tpl = px; T = int; unsigned int ...N =
{}]’
struct normalize_similar2<Tpl<T, N...>>
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
