Index: tests/nowarn/.expect/zero-thunk.txt
===================================================================
--- tests/nowarn/.expect/zero-thunk.txt	(revision a65cd5e945fecac9d8b11730d6bc465aac99fb4a)
+++ tests/nowarn/.expect/zero-thunk.txt	(revision a65cd5e945fecac9d8b11730d6bc465aac99fb4a)
@@ -0,0 +1,1 @@
+4
Index: tests/nowarn/zero-thunk.cfa
===================================================================
--- tests/nowarn/zero-thunk.cfa	(revision a65cd5e945fecac9d8b11730d6bc465aac99fb4a)
+++ tests/nowarn/zero-thunk.cfa	(revision a65cd5e945fecac9d8b11730d6bc465aac99fb4a)
@@ -0,0 +1,15 @@
+forall( | { int g( zero_t ); } )
+void f( ) {
+    g( 0 );
+}
+
+forall( T )
+T g( zero_t ) {
+    printf( "%ld\n", sizeof(T) );
+    return (T){};
+}
+
+int main() {
+    f();
+    return 0;
+}