Index: tests/.expect/castReturn.txt
===================================================================
--- tests/.expect/castReturn.txt	(revision 66e7cc18a3864ac28be3421c0fea914946607997)
+++ tests/.expect/castReturn.txt	(revision 66e7cc18a3864ac28be3421c0fea914946607997)
@@ -0,0 +1,1 @@
+match
Index: tests/.expect/const-ref.txt
===================================================================
--- tests/.expect/const-ref.txt	(revision 66e7cc18a3864ac28be3421c0fea914946607997)
+++ tests/.expect/const-ref.txt	(revision 66e7cc18a3864ac28be3421c0fea914946607997)
@@ -0,0 +1,1 @@
+done
Index: tests/castReturn.cfa
===================================================================
--- tests/castReturn.cfa	(revision 66e7cc18a3864ac28be3421c0fea914946607997)
+++ tests/castReturn.cfa	(revision 66e7cc18a3864ac28be3421c0fea914946607997)
@@ -0,0 +1,13 @@
+// Simple example use of the return/annotation cast.
+
+#include <limits.hfa>
+
+int main() {
+	unsigned int max0 = (return int)MAX;
+	signed int max1 = MAX;
+	if (max0 == max1) {
+		printf("match\n");
+	} else {
+		printf("error (%u vs %d)\n", max0, max1);
+	}
+}
Index: tests/const-ref.cfa
===================================================================
--- tests/const-ref.cfa	(revision 66e7cc18a3864ac28be3421c0fea914946607997)
+++ tests/const-ref.cfa	(revision 66e7cc18a3864ac28be3421c0fea914946607997)
@@ -0,0 +1,9 @@
+// A const reference binding should not work without warning.
+int intref(int const & x) {
+	return x;
+}
+
+int main() {
+	printf("done\n");
+	return intref(0);
+}