gcc/testsuite/g++.dg/cpp1z/class-deduction83.C

// PR c++/96474
// { dg-do compile { target c++17 } }

template <typename = void>
struct A
{
    template <typename = void>
    struct B
    {
    };
};
    
A<>::B b;