17 lines · cpp
1// RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %s2// expected-no-diagnostics3 4template <class Fn> struct A {5 constexpr A(Fn) {};6};7 8template <template <class> class S>9 void create_unique()10 requires (S{0}, true);11 12template <template <class> class S>13 void create_unique()14 requires (S{0}, true) {}15 16template void create_unique<A>();17