1 // RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %s
2 // expected-no-diagnostics
4 template <class Fn
> struct A
{
8 template <template <class> class S
>
10 requires (S
{0}, true);
12 template <template <class> class S
>
14 requires (S
{0}, true) {}
16 template void create_unique
<A
>();