[pypy-commit] pypy set-strategies: tell annotator that this obj must be a set

[l.diekmann]

Author: Lukas Diekmann <lukas.diekmann at uni-duesseldorf.de>
Branch: set-strategies
Changeset: r49173:a0feb9250ca0
Date: 2011-05-20 16:09 +0200
http://bitbucket.org/pypy/pypy/changeset/a0feb9250ca0/

Log:	tell annotator that this obj must be a set

diff --git a/pypy/objspace/std/setobject.py b/pypy/objspace/std/setobject.py
--- a/pypy/objspace/std/setobject.py
+++ b/pypy/objspace/std/setobject.py
@@ -66,6 +66,7 @@
             obj = instantiate(W_FrozensetObject)
         else:
             obj = w_self.space.call_function(w_self.space.type(w_self), None)
+        assert isinstance(obj, W_BaseSetObject)
         obj.strategy = strategy
         obj.sstorage = storage
         return obj