Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
g++.dg
/
contracts
/
contracts-ft1.C
blob: e5d5be7cb6a55a0b859be8577a7f95f623e69103 [
file
] [
log
] [
blame
]
// { 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