When a user tried to overwrite a builtin symbol, it would change its type despite the error, making the second try succeed. This is problematic, as the location of a builtin symbol cannot be updated.
