Index: tests/.expect/poly-member.txt
===================================================================
--- tests/.expect/poly-member.txt	(revision bdf4065045c0651b196411ff05d1d2c353dbfa1d)
+++ tests/.expect/poly-member.txt	(revision bdf4065045c0651b196411ff05d1d2c353dbfa1d)
@@ -0,0 +1,1 @@
+Done
Index: tests/poly-member.cfa
===================================================================
--- tests/poly-member.cfa	(revision bdf4065045c0651b196411ff05d1d2c353dbfa1d)
+++ tests/poly-member.cfa	(revision bdf4065045c0651b196411ff05d1d2c353dbfa1d)
@@ -0,0 +1,25 @@
+forall( T & )
+struct Proxy {};
+
+struct MonoCell {
+	Proxy(int) data;
+};
+
+forall( T & )
+struct PolyCell {
+	Proxy(T) data;
+};
+
+int main() {
+	{
+		MonoCell thing1;
+		Proxy(int) & thing2 = thing1.data;
+	}
+
+	{
+		PolyCell(int) thing1;
+		Proxy(int) & thing2 = thing1.data;
+	}
+
+	printf("Done\n");
+}