gcc/testsuite/g++.dg/cpp2a/concepts-pr80746.C

// { dg-do compile { target c++2a } }
// { dg-additional-options "-fconcepts-ts" }

template<typename T, typename T::type>
concept bool C = true;

template<C<0> T> class ct {};

struct S
{
  using type = int;
};

template class ct<S>;