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

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

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

wrap_e(bool) error_obj @= { {} };