Index: tests/nowarn/.expect/zero-thunk.txt
===================================================================
--- tests/nowarn/.expect/zero-thunk.txt	(revision e0330d2cd1a09857e7eda48e70140f0f25161679)
+++ tests/nowarn/.expect/zero-thunk.txt	(revision e0330d2cd1a09857e7eda48e70140f0f25161679)
@@ -0,0 +1,1 @@
+4
Index: tests/nowarn/zero-thunk.cfa
===================================================================
--- tests/nowarn/zero-thunk.cfa	(revision e0330d2cd1a09857e7eda48e70140f0f25161679)
+++ tests/nowarn/zero-thunk.cfa	(revision e0330d2cd1a09857e7eda48e70140f0f25161679)
@@ -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;
+}