I actually do see the “This cast can never succeed...

# getting-started

[dalexander]

I actually do see the “This cast can never succeed” and the bytecode is a bit different between the two when I took a look, it looks like toInt() is less bytecode and doesn’t contain a method invocation (which as Int does), so I would still suggest you use the toInt() call.