gcc/testsuite/g++.dg/contracts/preload_handler/assert_fail.cpp

int main(int, char**) {
	int x = 0;
	[[ assert: x < 0 ]];

	return 0;
}