Index: dfmc/typist/typist-inference.dylan
===================================================================
--- dfmc/typist/typist-inference.dylan	(revision 11861)
+++ dfmc/typist/typist-inference.dylan	(working copy)
@@ -301,7 +301,7 @@
                 make(<type-estimate-limited-collection>,
                      class:          class | arg-type,
                      concrete-class: arg-type,
-                     of:             element-type & as(<type-estimate>, element-type),
+                     of:             (element-type & as(<type-estimate>, element-type)) | as(<type-estimate>, dylan-value(#"<object>")),
                      size:           size,
                      dimensions:     dimensions & as(limited(<vector>, of: <integer>), dimensions));
               else