Type check for marshal_copy.