* test/src/comp-tests.el (safety-1): Define test.
(comp-tests-check-ret-type-spec): Set 'safety' to 0.
* test/src/comp-resources/comp-test-funcs.el (comp-test-safety-0-f)
(comp-test-safety-1-f, comp-test-safety-2-f): New functions.

* lisp/emacs-lisp/bytecomp.el (safety): Better doc.
* lisp/emacs-lisp/comp.el (comp--type-relax-alist): Likewise.
* doc/lispref/functions.texi (Declare Form): Add safety.

* lisp/emacs-lisp/comp.el (comp-known-predicates): Use
'comp-func-safety'.
(comp-ctxt, comp-mvar-type-hint-match-p): New 'safety' slot.
(comp-c-func-name): New function.
(comp--spill-lap-function, comp--intern-func-in-ctxt): Update.
* lisp/emacs-lisp/bytecomp.el (byte-compile-from-buffer): Spill safety.
* lisp/emacs-lisp/byte-run.el (byte-run--set-completion): New alias.
(defun-declarations-alist): Update.

* lisp/emacs-lisp/bytecomp.el (safety): New customize.
* lisp/emacs-lisp/comp.el (comp--type-relax-alist): New constant.
(comp--maybe-relax-simple-type, comp--maybe-relax-function-type): New
functions.
(comp-known-predicates): Make use of.

* lib-src/emacsclient.c (set_local_socket) [HAVE_ANDROID]: Do
not consider XDG_RUNTIME_DIR or test the ownership or
accessibility of TMPDIR.

* lisp/emacs-lisp/map-ynp.el (map-y-or-n-p): Bind
overriding-text-conversion-style to nil around read-event and
arrange that the input method be reset.

* src/fontset.c (free_realized_fontsets): Never call
recompute_basic_faces on dead frames.  (bug#66151)

This solves bug#70702.

* src/lread.c (READ_AND_BUFFER, INVALID_SYNTAX_WITH_BUFFER):
New macros.
(read0): For errors in characters sequences beginning with "#",
output the entire character sequence rather than just "#".

* test/src/lread-tests.el (lread-test-bug70702): New test.