Fix clj-kondo#1972: type hint aliases should not result in unresolved…

… symbol

CHANGELOG.md

@@ -20,6 +20,7 @@ For a list of breaking changes, check [here](#breaking-changes).
 - [#1971](https://github.com/clj-kondo/clj-kondo/issues/1971): false positive `:redundant-fn-wrapper` with syntax-quoted body
 - [#1984](https://github.com/clj-kondo/clj-kondo/issues/1984): lint java constructor calls as unresolved-symbol when using dot notation.
 - [#1970](https://github.com/clj-kondo/clj-kondo/issues/1970): `:dynamic-var-not-earmuffed` should be opt-in
+- [#1972](https://github.com/clj-kondo/clj-kondo/issues/1972): type hint aliases should not result in unresolved symbol
 
 ## 2023.01.20
 

src/clj_kondo/impl/metadata.clj

@@ -15,7 +15,18 @@
           :else {:tag s})))
 
 (def type-hint-bindings
-  '{void {} objects {}})
+  "From https://clojure.org/reference/java_interop#TypeAliases"
+  (zipmap '[int ints
+            long longs
+            float floats
+            double doubles
+            void
+            short shorts
+            boolean boolean
+            byte bytes
+            char chars
+            objects]
+          (repeat {})))
 
 (defn lift-meta-content2
   ([ctx node] (lift-meta-content2 ctx node false))

test/clj_kondo/unresolved_symbol_test.clj

@@ -330,3 +330,12 @@
 
   (is (empty? (lint! "(ns foo) (comment (map square [1 2 3])) (defn square [x] (* x x))"
                      {:linters {:unresolved-symbol {:level :error}}}))))
+
+(deftest primitive-type-hints-test
+  (is (empty? (lint! "(ns my-app
+  (:refer-clojure :exclude [double int]))
+
+(defn scalb
+  [x exp]
+  (Math/scalb ^double x ^int exp))"
+                     {:linters {:unresolved-symbol {:level :error}}}))))