* :binding :shadow can be nil

* basic let tests

Author: swannodette

src/test/clojure/cljs/analyzer/spec_tests.clj

@@ -23,15 +23,11 @@
 
 (deftest test-let
   (is (s/valid? ::a/node (analyze ns-env '(let []))))
-  ;(is (s/valid? ::a/node (analyze ns-env '(let [x 1]))))
-  ;(is (s/valid? ::a/node (analyze ns-env '(let [x 1] x))))
-  )
+  (is (s/valid? ::a/node (analyze ns-env '(let [x 1]))))
+  (is (s/valid? ::a/node (analyze ns-env '(let [x 1] x)))))
 
 (comment
 
   (test/run-tests)
 
-  ;; next, problem - some fields are nil
-  (s/explain ::a/node (analyze ns-env '(let [x 1])))
-
   )

src/test/clojure/cljs/analyzer/specs.cljc

@@ -31,7 +31,9 @@
   #{:arg :catch :fn :let :letfn :loop :field})
 (s/def ::variadic? boolean?)
 (s/def ::init ::node)
-(s/def ::shadow ::node)
+(s/def ::shadow
+  (s/or :nil nil?
+        :node ::node))
 
 (defmethod node :binding [_]
   (s/merge