feature/native-comp fc02c84 3/5: * test/src/comp-tests.el (comp-tests-type-spec-tests): Add two more test.

[Andrea Corallo]

branch: feature/native-comp
commit fc02c8458d636e682b079a68f2ee7347e0299132
Author: Andrea Corallo <akrl@sdf.org>
Commit: Andrea Corallo <akrl@sdf.org>

    * test/src/comp-tests.el (comp-tests-type-spec-tests): Add two more test.
---
 test/src/comp-tests.el | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/test/src/comp-tests.el b/test/src/comp-tests.el
index 22065f8..e1c1359 100644
--- a/test/src/comp-tests.el
+++ b/test/src/comp-tests.el
@@ -1018,7 +1018,21 @@ Return a list of results."
           x))
        (or null (integer 4 9)))
 
-      ;; 33 No float range support.
+      ;; 33
+      ((defun comp-tests-ret-type-spec-f (x)
+         (when (or (> x 3)
+                   (< x 10))
+          x))
+       (or null integer))
+
+      ;; 34
+      ((defun comp-tests-ret-type-spec-f (x)
+         (when (or (< x 3)
+                   (> x 10))
+          x))
+       (or null (integer * 2) (integer 11 *)))
+
+      ;; 35 No float range support.
       ((defun comp-tests-ret-type-spec-f (x)
               (when (> x 1.0)
                 x))