Eliminate the need to specify all ancestors in alter-class.

Description

We should be able to elide at least a couple of these annotations.

1 2 3 4 5 6 7 8 9 10 11 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.

1 2 3 4 5 PersistentHashSet [[[a :variance :covariant]] :replace {APersistentSet (APersistentSet a)} :unchecked-ancestors #{[Any -> (U a nil)]}]

:unchecked-ancestors is a different problem.

Environment

None

Status

Assignee

Ambrose BS

Reporter

Ambrose BS

Labels

Approval

None

Patch

None

Components

Fix versions

Priority

Minor
Configure