Fix `comp-cstr-intersection-no-hashcons' for negated result cstr

	* lisp/emacs-lisp/comp-cstr.el
	(comp-cstr-intersection-no-hashcons): When negated and
	necessary relax dst to t.
	* test/src/comp-tests.el (comp-tests-type-spec-tests): Add a test.

1 files changed, 8 insertions, 1 deletions

diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el
index cd1c2e0735e..f60e4ab0497 100644
--- a/test/src/comp-tests.el
+++ b/test/src/comp-tests.el
@@ -1340,7 +1340,14 @@ Return a list of results."
          (unless (eql x -0.0)
            (error ""))
          x)
-       float)))
+       float)
+
+      ;; 73
+      ((defun comp-tests-ret-type-spec-f (x)
+         (when (eql x 1.0)
+           (error ""))
+         x)
+       t)))
 
   (defun comp-tests-define-type-spec-test (number x)
     `(comp-deftest ,(intern (format "ret-type-spec-%d" number)) ()