> It ensures that this data structure is an instance of the specified type.

But downcasts are unsafe.