// { dg-additional-options {-std=c++20 -fmodule-header} }
// { dg-module-cmi {} }

template<auto> struct C { };
struct A { };
