X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fnode.lisp;h=ac17c72f467dacb63ca8bb0df72cc177cd9fbe04;hb=6d3b9d5de8a28cd92e280f3451b60ce412260c19;hp=cb88d834241cf4c6be076c7160db6dff2262d7d2;hpb=81153b7c9824ef389928ff6d04fb5acbcffb3867;p=sbcl.git

diff --git a/src/compiler/node.lisp b/src/compiler/node.lisp
index cb88d83..ac17c72 100644
--- a/src/compiler/node.lisp
+++ b/src/compiler/node.lisp
@@ -1114,6 +1114,8 @@
   ;; determine that this is a set closure variable, and is thus not a
   ;; good subject for flow analysis.
   (constraints nil :type (or sset null))
+  ;; Initial type of a LET variable as last seen by PROPAGATE-FROM-SETS.
+  (last-initial-type *universal-type* :type ctype)
   ;; The FOP handle of the lexical variable represented by LAMBDA-VAR
   ;; in the fopcompiler.
   (fop-value nil))