See [any.bad.any.cast].