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

forall(dtype B)
struct counter {
	int count;
};

forall(dtype D)
struct wrap_c {
	counter(D) field;
};

counter(int) count_obj = {5};
counter(char) count_obj = {5};

wrap_c(int) error_obj @= { count_obj };