Index: tests/exceptions/.expect/type-check.txt
===================================================================
--- tests/exceptions/.expect/type-check.txt	(revision ee06db5c9b28732fc10c936eac06983a9d5378db)
+++ tests/exceptions/.expect/type-check.txt	(revision ee06db5c9b28732fc10c936eac06983a9d5378db)
@@ -0,0 +1,4 @@
+exceptions/type-check.cfa:8:1 error: catch must have pointer to an exception type
+exceptions/type-check.cfa:9:1 error: catch must have pointer to an exception type
+exceptions/type-check.cfa:10:1 error: catchResume must have pointer to an exception type
+exceptions/type-check.cfa:11:1 error: catchResume must have pointer to an exception type
Index: tests/exceptions/type-check.cfa
===================================================================
--- tests/exceptions/type-check.cfa	(revision ee06db5c9b28732fc10c936eac06983a9d5378db)
+++ tests/exceptions/type-check.cfa	(revision ee06db5c9b28732fc10c936eac06983a9d5378db)
@@ -0,0 +1,12 @@
+// Check that the exception type check works.
+
+#include <exception.hfa>
+
+TRIVIAL_EXCEPTION(truth);
+
+int main(int argc, char * argv[]) {
+	try {} catch (int e) {}
+	try {} catch (truth & e) {}
+	try {} catchResume (int e) {}
+	try {} catchResume (truth & e) {}
+}