Commits

Armin Rigo committed 82c9a00

Add asserts that should pass, but don't

Comments (0)

Files changed (1)

pypy/rpython/lltypesystem/rstr.py

         # because it might move the strings.  The keepalive_until_here()
         # are obscurely essential to make sure that the strings stay alive
         # longer than the raw_memcopy().
+        assert typeOf(src).TO == SRC_TP
+        assert typeOf(dst).TO == DST_TP
         assert srcstart >= 0
         assert dststart >= 0
         assert length >= 0