Add `comp-constraint-to-type-spec' and better handle boolean type spec

	* lisp/emacs-lisp/comp.el (comp-constraint-to-type-spec): New
	function splitting out code from comp-ret-type-spec + better
	handle boolean type specifier.
	(comp-ret-type-spec): Rework to leverage
	`comp-constraint-to-type-spec'.
	* test/src/comp-tests.el (comp-tests-type-spec-tests): Add a
	testcase.

1 files changed, 5 insertions, 1 deletions

diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el
index a293a490d95..d377b089932 100644
--- a/test/src/comp-tests.el
+++ b/test/src/comp-tests.el
@@ -880,7 +880,11 @@ Return a list of results."
          (when x
            (setf y x))
          y))
-     t)))
+     t)
+
+    ((defun comp-tests-ret-type-spec-f (x y)
+       (eq x y))
+     boolean)))
 
 (comp-deftest ret-type-spec ()
   "Some derived return type specifier tests."