master: check-type: don't include ctypes in the expansion

The branch "master" has been updated in SBCL:
       via  c9317d951a80eab801e3a93e4edb346dc54fa302 (commit)
      from  ae89d7be84002e48bea7cfd8be84bd6c7896a2c0 (commit)

- Log -----------------------------------------------------------------
commit c9317d951a80eab801e3a93e4edb346dc54fa302
Author: Stas Boukarev <[email protected]>
Date:   Sun Apr 19 17:26:24 2026 +0300

    check-type: don't include ctypes in the expansion
    
    Which have a hard time when included in inline functions.
    
    Fixes lp#2148777
---
 src/code/macros.lisp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/code/macros.lisp b/src/code/macros.lisp
index e7cb659a3..dbe8d53eb 100644
--- a/src/code/macros.lisp
+++ b/src/code/macros.lisp
@@ -747,7 +747,7 @@ invoked. In that case it will store into PLACE and start over."
     (cond ((stringp type)
            `(the ,type ,place)) ;; bad type
           ((symbolp expanded)
-           `(let ((,value ,(wrap-if ctype `(the* (,ctype :use-annotations t)) place)))
+           `(let ((,value ,(wrap-if ctype `(the* (,type :use-annotations t)) place)))
               (unless (typep ,value ',type)
                 (setf ,place
                       ,(if type-string
@@ -755,7 +755,7 @@ invoked. In that case it will store into PLACE and start over."
                            `(check-type-error-trap ',place ,value ',type)))
                 nil)))
           (t
-           `(do ((,value ,(wrap-if ctype `(the* (,ctype :use-annotations t)) place) ,place))
+           `(do ((,value ,(wrap-if ctype `(the* (,type :use-annotations t)) place) ,place))
                 ((typep ,value ',type))
               (setf ,place
                     (check-type-error ',place ,value ',type

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL