Index: tests/.expect/polybits.txt
===================================================================
--- tests/.expect/polybits.txt	(revision caf06aa71fb525bbcc4811ec5a00225c9c9c6583)
+++ tests/.expect/polybits.txt	(revision caf06aa71fb525bbcc4811ec5a00225c9c9c6583)
@@ -0,0 +1,6 @@
+polybits.cfa:4:1 error: Cannot have bitfields inside a sized polymorphic structure.bitfield: signed int with bitfield width Constant Expression (7: signed int)
+... with resolved type:
+  signed int
+polybits.cfa:10:1 error: Cannot have bitfields inside a sized polymorphic structure.bitfield: signed int with bitfield width Constant Expression (7: signed int)
+... with resolved type:
+  signed int
Index: tests/polybits.cfa
===================================================================
--- tests/polybits.cfa	(revision caf06aa71fb525bbcc4811ec5a00225c9c9c6583)
+++ tests/polybits.cfa	(revision caf06aa71fb525bbcc4811ec5a00225c9c9c6583)
@@ -0,0 +1,11 @@
+forall( T )
+struct ExampleS {
+	T polyfield;
+	int bitfield :7;
+};
+
+forall( T )
+union ExampleU {
+	T polyfield;
+	int bitfield :7;
+};