Index: tests/.expect/polybits.txt
===================================================================
--- tests/.expect/polybits.txt	(revision da0edec766476f9bd235acd685e746ea25b1bf5d)
+++ tests/.expect/polybits.txt	(revision da0edec766476f9bd235acd685e746ea25b1bf5d)
@@ -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 da0edec766476f9bd235acd685e746ea25b1bf5d)
+++ tests/polybits.cfa	(revision da0edec766476f9bd235acd685e746ea25b1bf5d)
@@ -0,0 +1,11 @@
+forall( T )
+struct ExampleS {
+	T polyfield;
+	int bitfield :7;
+};
+
+forall( T )
+union ExampleU {
+	T polyfield;
+	int bitfield :7;
+};