diff options
| author | Stas Boukarev <stassats@gmail.com> | 2024-05-15 19:33:22 +0300 |
|---|---|---|
| committer | Stas Boukarev <stassats@gmail.com> | 2024-05-15 21:22:53 +0300 |
| commit | e4b3052fd6038ad9c272d89ee5b4c042c28fb1e6 (patch) | |
| tree | 7933c3c897ae1b0c31904afbebaf2eea9d94176b /tests/type.pure.lisp | |
| parent | 6a6cb3752f41d23be4303361ccf32749469c974c (diff) | |
Check for other-pointer types directly.
Not going through (not non-other-pointer) and missing things like
extended-sequence.
Reported by syll.
Diffstat (limited to 'tests/type.pure.lisp')
| -rw-r--r-- | tests/type.pure.lisp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/type.pure.lisp b/tests/type.pure.lisp index 26f748c52..d30ad9c30 100644 --- a/tests/type.pure.lisp +++ b/tests/type.pure.lisp @@ -941,3 +941,9 @@ ((:a) 1) (("") 2) (((make-array 10 :adjustable t)) nil))) + +(with-test (:name :other-pointer-subtypes) + (assert-type + (lambda (j) + (sb-kernel:%other-pointer-p (the (and sequence (not vector)) j))) + null)) |