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

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

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

empty(int) empty_obj;
empty(char) empty_obj;

wrap_e(char) outer_obj @= { empty_obj };