Details
-
Type:
Task
-
Status: Closed
-
Priority:
Minor
-
Resolution: Declined
-
Affects versions: None
-
Fix versions: Backlog
-
Components: Clojure Checker
-
Labels:
Description
We should be able to elide at least a couple of these annotations.
PersistentHashSet [[[a :variance :covariant]]
:replace
{Seqable (Seqable a)
java.util.Set (java.util.Set a)
Iterable (Iterable a)
Collection (Collection a)
APersistentSet (APersistentSet a)
IPersistentSet (IPersistentSet a)
IPersistentCollection (IPersistentCollection a)}
:unchecked-ancestors
#{[Any -> (U a nil)]}]
I think just override APersistentSet should infer the rest.
PersistentHashSet [[[a :variance :covariant]]
:replace
{APersistentSet (APersistentSet a)}
:unchecked-ancestors
#{[Any -> (U a nil)]}]
:unchecked-ancestors is a different problem.
