analyze+eval throws an Exception if evaluating a function that invokes a map that has :arglists metadata with a tag.
Compare the following snippet, which can be analyzed without issue:
With this one, which is functionally equivalent. infer-tag throws an Exception during analysis.
The :arglists for both good and bad are identical, including the :tag of the first arglist.
You can easily reproduce from the REPL using the following functions:
Clojure 1.10.1, OpenJDK 13, tools.analyzer.jvm "0.7.2"