Index: tests/Makefile.am
===================================================================
--- tests/Makefile.am	(revision 50cad32590a9714a0cbf3e31088adf8411ea10a6)
+++ tests/Makefile.am	(revision 0bf03ba22468e758a0594078343f9671379485c3)
@@ -52,5 +52,4 @@
 WFLGAS_OPT_LAX = \
 	alloc \
-	alloc2 \
 	array \
 	array-collections/array-raii-c \
@@ -98,5 +97,4 @@
 	concurrency/examples/boundedBufferEXT \
 	concurrency/examples/boundedBufferINT \
-	concurrency/futures/abandon \
 	concurrency/futures/multi \
 	concurrency/futures/select_future \
@@ -179,5 +177,4 @@
 	function-operator \
 	gmp \
-	heap \
 	identFuncDeclarator \
 	identParamDeclarator \
Index: tests/nowarn/unused.cfa
===================================================================
--- tests/nowarn/unused.cfa	(revision 50cad32590a9714a0cbf3e31088adf8411ea10a6)
+++ tests/nowarn/unused.cfa	(revision 0bf03ba22468e758a0594078343f9671379485c3)
@@ -17,4 +17,13 @@
 enum () foo_t { foo };
 
+// on empty tuple,  __cleanup_dtor takes zero actions on its param and
+// _thunk's purpose is to ignore its param
+forall( Args... | { void foo( Args ); } )
+void wrap( Args ) {}
+void foo() {}
+void callWrap() {
+    wrap();
+}
+
 
 int main() {