The cast won't fail, it will be partially unchecke...

# getting-started

[ilya.gorbunov]

The cast won't fail, it will be partially unchecked: the runtime can ensure that x is MutableList, but can't assume anything about its type argument. That's what type erasure is.