Yes. I'm pretty sure that the compiler also analyzes the assertion, but I'll happily add the type cast again.