[Sbcl-devel] Inlined function, check-type, no warning at compile-time

[Tobias C. R. <tc...@fr...>]

What prevents SBCL from noticing dead-code in the scenario below?
The non-straightforward expansion of CHECK-TYPE?

  -T.

(declaim (inline quuxa))
(defun quuxa (x)
  (check-type x string)
  x)

(defun quuxb ()
  (quuxa 42))