But that's why I say, there should be a pypy flag where you tell it to not double check at run time and that you've made sure your annotation is correct.
Now if it isn't correct, you'll probably get a segfault or some nasty error and it'll blow up.
If you have to double check types at runtime, you've already lost.