Check this cast succeeds.