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