// Trac ticket: https://cforall.uwaterloo.ca/trac/ticket/203

forall(A &)
struct empty {
	// Nothing.
};

forall(C &)
struct wrap_e {
	empty(C) field;
};

wrap_e(bool) error_obj = { {} };