Re: Does wrong_type_argument return or not?

[Richard Stallman]

    According to the doc string, Fsignal does not return, so
    neither does wrong_type_argument.  However, looking at
    Fsignal, it can return -- and the code in wrong_type_argument
    definitely expects this to happen, so it can itself return
    a (valid) value.

Fsignal can only return in the case of a quit.  That code in
wrong_type_argument is obsolete.  Nowadays (and for about ten years),
wrong_type_argument cannot return.