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
MinorConfigure