https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105655
Bug ID: 105655
Summary: [12/13 Regression] ICE on invalid deduction
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: egor.pugin at gmail dot com
Target Milestone: ---
Works on 11.3, does not work on 12 and trunk.
https://godbolt.org/z/YrEbn3K6f
template <class T>
struct A
{
template <class L, class R>
struct B
{
B(const L & left, const R & right)
{}
};
template <class L, class R>
B(const L &, const R &) -> B<L, R>;
};
template <class L, class R>
using C = A<int>::B<L, R>;
int main()
{
C x{0, 0};
}