(root)/
gcc-13.2.0/
gcc/
testsuite/
g++.dg/
contracts/
contracts-ft1.C
// { dg-do compile }

#ifdef __cpp_contracts
static_assert (false);
#endif

#ifdef __cpp_contracts_literal_semantics
static_assert (false);
#endif

#ifdef __cpp_contracts_roles
static_assert (false);
#endif