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}; }