Checked-arrays triggers on inferred Array type

Description

js-keys is (now, with recent Closure inference) inferred to return Array. But ClojureScript would normally refer to this type as js/array, and this causes a warning as illustrated below.

1 2 3 4 $ clj -Srepro -Sdeps '{:deps {org.clojure/clojurescript {:git/url "https://github.com/clojure/clojurescript" :sha "a760439b5084937a556712d6ee056e95f4f075c7"}}}' -m cljs.main -re node -co '{:checked-arrays :warn}' -r cljs.user=> (aget (js-keys #js {:a 1}) 0) WARNING: cljs.core/aget, arguments must be an array followed by numeric indices, got [Array number] instead at line 1 <cljs repl> "a"

Environment

None

Status

Assignee

Unassigned

Reporter

Mike Fikes

Labels

None

Approval

None

Patch

None

Priority

Major
Configure