Index: tests/resolutionErrors.cfa
===================================================================
--- tests/resolutionErrors.cfa	(revision c7f834ee97540f7ecf7e9479b5c836cab282be31)
+++ tests/resolutionErrors.cfa	(revision c7f834ee97540f7ecf7e9479b5c836cab282be31)
@@ -0,0 +1,47 @@
+//
+// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// resolutionErrors.cfa --
+//
+// Author           : Thierry Delisle
+// Created On       : Thu Nov 28 15:17:52 2019
+// Last Modified By :
+// Last Modified On :
+// Update Count     :
+//
+
+struct atype {};
+
+void noparams() {}
+void wrongparams( atype& ) {}
+void moreparams( int, int ) {}
+void fewparams( int ) {}
+void noreturn() {}
+
+void simple_calls() {
+	notexist();
+	notexistparams( 3 );
+	noparams( 3 );
+	wrongparams( 3 );
+	moreparams( 3 );
+	fewparams( 3, 3 );
+	int a = noreturn();
+
+	int notfunction;
+	notfunction(3);
+
+	atype t;
+	t.a;
+}
+
+void ctor_calls() {
+	atype a = 3;
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa resolutionErrors.cfa" //
+// End: //