Index: tests/.expect/poly-member.txt
===================================================================
--- tests/.expect/poly-member.txt	(revision 10a9479dc8c664ec544fe8798fa280be5475096e)
+++ tests/.expect/poly-member.txt	(revision 10a9479dc8c664ec544fe8798fa280be5475096e)
@@ -0,0 +1,1 @@
+Done
Index: tests/poly-member.cfa
===================================================================
--- tests/poly-member.cfa	(revision 10a9479dc8c664ec544fe8798fa280be5475096e)
+++ tests/poly-member.cfa	(revision 10a9479dc8c664ec544fe8798fa280be5475096e)
@@ -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");
+}