// { dg-additional-options "-std=c++2a -fmodule-header" }
// { dg-module-cmi {} }

template<typename T>
inline constexpr bool disable = false;

template<typename U>
concept sized = true;

template<typename V>
class TPL
{
};

template<typename W>
requires (!sized<W>)
inline constexpr bool disable<TPL<W>>
= true;