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