From 78f59f34f0310c7c4e5ef47c6d1f9523d6be21cc Mon Sep 17 00:00:00 2001
From: David Nolen <david.nolen@gmail.com>
Date: Tue, 5 Dec 2023 09:56:03 -0500
Subject: [PATCH 1/2] * externs: parse @extends into :super * add test case

---
 src/main/clojure/cljs/externs.clj               |  4 +++-
 src/test/clojure/cljs/externs_parsing_tests.clj | 13 ++++++++++++-
 2 files changed, 15 insertions(+), 2 deletions(-)

diff --git a/src/main/clojure/cljs/externs.clj b/src/main/clojure/cljs/externs.clj
index e940461e7..ddccfdc4e 100644
--- a/src/main/clojure/cljs/externs.clj
+++ b/src/main/clojure/cljs/externs.clj
@@ -73,7 +73,9 @@
             {:tag (get-tag ty)}
             (if (or (.isConstructor info) (.isInterface info))
               (let [qname (symbol (.. node getFirstChild getQualifiedName))]
-                (cond-> {:tag 'Function}
+                (cond-> (merge {:tag 'Function}
+                          (when (.hasBaseType info)
+                            {:super (get-tag (.getBaseType info))}))
                   (.isConstructor info) (merge {:ctor qname})
                   (.isInterface info) (merge {:iface qname})))
               (if (or (.hasReturnType info)
diff --git a/src/test/clojure/cljs/externs_parsing_tests.clj b/src/test/clojure/cljs/externs_parsing_tests.clj
index 7bcc44539..c2b199cf1 100644
--- a/src/test/clojure/cljs/externs_parsing_tests.clj
+++ b/src/test/clojure/cljs/externs_parsing_tests.clj
@@ -10,7 +10,8 @@
   (:require [cljs.closure :as closure]
             [cljs.externs :as externs]
             [clojure.java.io :as io]
-            [clojure.test :as test :refer [deftest is]]))
+            [clojure.test :as test :refer [deftest is]])
+  (:import [com.google.javascript.jscomp CommandLineRunner]))
 
 (deftest cljs-3121
   (let [externs (externs/parse-externs
@@ -34,6 +35,16 @@
     (is (= 'any (get-in ns [:defs 'get :ret-tag])))
     (is (= 'array (get-in ns [:defs 'getKeys :ret-tag])))))
 
+(deftest test-parse-super
+  (let [info (->
+               (filter
+                 (fn [s]
+                   (= "externs.zip//w3c_dom2.js" (.getName s)))
+                 (CommandLineRunner/getDefaultExterns))
+               first externs/parse-externs externs/index-externs
+               (find 'HTMLDocument) first meta)]
+    (is (= 'Document (:super info)))))
+
 (comment
 
   (externs/parse-externs

From 253501d2e4b670eb9c1f598ef9ee951e9a0ac9b2 Mon Sep 17 00:00:00 2001
From: David Nolen <david.nolen@gmail.com>
Date: Tue, 5 Dec 2023 10:14:12 -0500
Subject: [PATCH 2/2] * check base type when checking externs * add CLJS-3408
 test, verifying reported issue is resolved

---
 src/main/clojure/cljs/analyzer.cljc           |  5 ++++-
 src/test/clojure/cljs/externs_infer_tests.clj | 11 +++++++++++
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/src/main/clojure/cljs/analyzer.cljc b/src/main/clojure/cljs/analyzer.cljc
index 2bbc2a7ea..6759c6d24 100644
--- a/src/main/clojure/cljs/analyzer.cljc
+++ b/src/main/clojure/cljs/analyzer.cljc
@@ -1048,7 +1048,10 @@
                xmeta (meta x')]
            (if (and (= 'Function (:tag xmeta)) (:ctor xmeta))
              (or (has-extern?* (into '[prototype] (next pre)) externs' top)
-                 (has-extern?* (next pre) externs' top))
+                 (has-extern?* (next pre) externs' top)
+                 ;; check base type if it exists
+                 (when-let [super (:super xmeta)]
+                   (has-extern?* (into [super] (next pre)) externs top)))
              (recur (next pre) externs' top))))))))
 
 (defn has-extern?
diff --git a/src/test/clojure/cljs/externs_infer_tests.clj b/src/test/clojure/cljs/externs_infer_tests.clj
index f832ed730..8ca7ff9aa 100644
--- a/src/test/clojure/cljs/externs_infer_tests.clj
+++ b/src/test/clojure/cljs/externs_infer_tests.clj
@@ -475,6 +475,17 @@
                ["Object.renderInline;"])
             res)))))
 
+(deftest test-cljs-3408
+  (testing "inheritance of JS Types is inferred"
+    (let [ws  (atom [])
+          res (infer-test-helper
+                {:forms '[(ns foo.core)
+                          (.querySelectorAll js/document "div")]
+                 :warnings ws
+                 :warn true
+                 :with-core? true})]
+      (is (empty? @ws)))))
+
 (comment
   (binding [ana/*cljs-ns* ana/*cljs-ns*]
     (ana/no-warn