Casts must be to realizable types.