diff --git a/collects/tests/profj/full-tests.ss b/collects/tests/profj/full-tests.ss
index b74bb73e6f..ded65b8f50 100644
--- a/collects/tests/profj/full-tests.ss
+++ b/collects/tests/profj/full-tests.ss
@@ -3,6 +3,18 @@
   
   (prepare-for-tests "Full")
   
+  (execute-test
+   "class C {
+     void x() { return 1; }
+    }"
+   'full #t "Trying to return value from void method")
+  
+  (interact-test
+   'full
+   (list "return 1 + true;")
+   (list 'error)
+   "Make sure returns are type-checked in interactions")
+  
   (execute-test
    "class A {
      void n() { }