[Bug c++/78198] ICE on valid code in: tree check: expected record_type or union_type or qual_union_type, have template_type_parm in lookup_base, at cp/search.c:203

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78198

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Minimizer test-case:

class A {                        };
class D;
template<typename > using UniquePtr = A;
struct C {
    typedef UniquePtr<D> SingleObject;
};
template<typename , typename... Args> C::SingleObject MakeUnique(Args... aArgs)
{
    D(aArgs...);
}
class B {                        };
template<typename AllocPolicy> class BufferList {
public:
    BufferList(unsigned, unsigned, unsigned, AllocPolicy = AllocPolicy());
};
class D : BufferList<B> {
    BufferList::BufferList;
};
UniquePtr<D> setCloneBuffer_impl_buf = MakeUnique<D>(0, 0, 0);