Index: tests/nowarn/.expect/no-autogen.txt
===================================================================
--- tests/nowarn/.expect/no-autogen.txt	(revision e797179240a99bdf7b97c53740f6886b84225a18)
+++ tests/nowarn/.expect/no-autogen.txt	(revision e797179240a99bdf7b97c53740f6886b84225a18)
@@ -0,0 +1,1 @@
+done
Index: tests/nowarn/no-autogen.cfa
===================================================================
--- tests/nowarn/no-autogen.cfa	(revision e797179240a99bdf7b97c53740f6886b84225a18)
+++ tests/nowarn/no-autogen.cfa	(revision e797179240a99bdf7b97c53740f6886b84225a18)
@@ -0,0 +1,10 @@
+// A structure with no autogeneratable lifecycle functions
+forall( T * )
+struct Thing {
+    T x;
+};
+
+int main() {
+    printf("done\n");
+    return 0;
+}