Better types for AReference

clojure · Oct 6, 2013 · edc3139 · edc3139
1 parent 01f7a63
commit edc3139
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/clojure/clojure/core/typed/base_env.clj b/src/main/clojure/clojure/core/typed/base_env.clj
@@ -419,7 +419,7 @@ ARef [[[w :variance :contravariant]
       :replace
       {IRef (IRef w r)
        IMeta (IMeta Any)
-       AReference (AReference w r)
+       AReference (AReference Any Any)
        IDeref (IDeref r)
        IReference (IReference w r)}]
 
@@ -443,7 +443,7 @@ Atom [[[w :variance :contravariant]
       :replace
       {IRef (IRef w r)
        IMeta (IMeta Any)
-       AReference (AReference w r)
+       AReference (AReference Any Any)
        ARef (ARef w r)
        IDeref (IDeref r)
        IReference (IReference w r)}]