diff --git a/compiler/rt/vm.lisp b/compiler/rt/vm.lisp
index c5ab307f574667c8a31ee26042082068d01ccb35..e516bcaeb1a913acc9d27400401c215f56b49122 100644
--- a/compiler/rt/vm.lisp
+++ b/compiler/rt/vm.lisp
@@ -432,6 +432,10 @@
 	  (part-of list))
 	 (t
 	  (any))))
+      (function-type
+       (exactly function))
+      (structure-type
+       (part-of structure))
       (ctype
        (any)))))