either cast should throw unconditionally or don’t ...

# kontributors

[[removed]]

either cast should throw unconditionally or don’t compile (as Java does for “cannot cast inconvertible types”)