Index: tests/bugs/140.cfa
===================================================================
--- tests/bugs/140.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
+++ tests/bugs/140.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
@@ -0,0 +1,10 @@
+// Trac Ticket: https://cforall.uwaterloo.ca/trac/ticket/140
+
+#include <stdio.h>
+
+int main() {
+	char c[1] = { 3 };
+	int i = 4;
+	int r = 3 < 4 ? c[0] : i;
+	printf( "%d\n", r );
+}
Index: tests/bugs/203-2.cfa
===================================================================
--- tests/bugs/203-2.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
+++ tests/bugs/203-2.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
@@ -0,0 +1,16 @@
+// Trac ticket: https://cforall.uwaterloo.ca/trac/ticket/203
+
+forall(dtype A)
+struct empty {
+	// Nothing.
+};
+
+forall(dtype C)
+struct wrap_e {
+	empty(C) field;
+};
+
+empty(int) empty_obj;
+empty(char) empty_obj;
+
+wrap_e(char) outer_obj @= { empty_obj };
Index: tests/bugs/203-3.cfa
===================================================================
--- tests/bugs/203-3.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
+++ tests/bugs/203-3.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
@@ -0,0 +1,16 @@
+// 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 };
Index: tests/bugs/203-6.cfa
===================================================================
--- tests/bugs/203-6.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
+++ tests/bugs/203-6.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
@@ -0,0 +1,18 @@
+// Trac ticket: https://cforall.uwaterloo.ca/trac/ticket/203
+
+forall(dtype G)
+struct base_vtable {
+	base_vtable(G) const * const parent;
+};
+
+forall(dtype H)
+struct child_vtable {
+	base_vtable(H) const * const parent;
+};
+
+base_vtable(int) base_vtable_instance @= { 0 };
+base_vtable(char) base_vtable_instance @= { 0 };
+
+child_vtable(char) child_vtable_instance @= {
+	&base_vtable_instance
+};
Index: tests/bugs/203-7.cfa
===================================================================
--- tests/bugs/203-7.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
+++ tests/bugs/203-7.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
@@ -0,0 +1,13 @@
+// Trac ticket: https://cforall.uwaterloo.ca/trac/ticket/203
+
+forall(dtype A)
+struct empty {
+	// Nothing.
+};
+
+forall(dtype C)
+struct wrap_e {
+	empty(C) field;
+};
+
+wrap_e(bool) error_obj = { {} };
Index: tests/bugs/203-9.cfa
===================================================================
--- tests/bugs/203-9.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
+++ tests/bugs/203-9.cfa	(revision 15806ed4125985b4bd7172dc59af8da70529cd89)
@@ -0,0 +1,13 @@
+// Trac ticket: https://cforall.uwaterloo.ca/trac/ticket/203
+
+forall(dtype A)
+struct empty {
+	// Nothing.
+};
+
+forall(dtype C)
+struct wrap_e {
+	empty(C) field;
+};
+
+wrap_e(bool) error_obj @= { {} };