X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=09457e94c6960c382ff99f020227724a5c0cb826;hb=5ef7f500a505f5711b1c76ff8c15f443d4815367;hp=41d58f48d6958419b6ca08300ca4decf7918d713;hpb=5dcf5905dc38232b3cc5ec6b309ea5c6424db957;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 41d58f4..09457e9 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -1163,3 +1163,11 @@
                               (type (unsigned-byte 32) i))
                      (deref a i))))
   (compiler-note () (error "The code is not optimized.")))
+
+(handler-case
+    (compile nil '(lambda (x)
+		   (declare (type (integer -100 100) x))
+		   (declare (optimize speed))
+		   (declare (notinline identity))
+		   (1+ (identity x))))
+  (compiler-note () (error "IDENTITY derive-type not applied.")))