This is the extreme example of the dangers of down-casting. A down-cast object
is expected to have more or different behavior than the compiled type. So with
the cast to AnyInt, my poor obj can be expected to implement any method. As
you say, this risk is pretty obvious, but it may deserve mention once again.
Jim ...

...