As expressions

as expressions assert the type of a boxed value.
If successful, the result is the value with the narrowed type.
On failure, the expression produces a runtime panic.