This seems contradictory.  Is it an error or is it undefined what happens?  If it's an error, what error is signaled?