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

Reply via email to