DECLARE should signal conditions when type declarations are violated

[Mark Evenson]

On #abcl, chtune notes ​http://paste.lisp.org/display/129139:

defun test (x)
  (let ((j 10))
    (declare (integer x))
    (+ x j)))

(test 10.4) ; => 20.4

; I would expect this to throw a type error

[Mark Evenson]

The correct form should be:

(defun test (x)
  (let ((j 10))
    (declare (integer x))
    (+ x j)))

[ehuelsmann]

the type declaration is in the wrong place. the function should have read:

(defun test (x)
   (declare (integer x))
   (let ((j 10))
      (+ x j)))

But that doesn't err on our side either, which is perfectly fine according to the spec, which says in ​Declaration TYPE:

3. At the moment the scope of the declaration is entered, the consequences are undefined if the value of the declared variable is not of the declared type.

Closing as invalid.