FLET & declarations

[GZ%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU]

Are 'pervasive' declarations in FLET supposed to apply to the function bodies?
E.g.

  (flet ((foo () x)) ;Is this x special?
    (declare (special x))
    ...)

  (flet ((foo () (foo) ...))  ;Does this call to (foo) return a fixnum?
    (declare (function foo () fixnum))
    ...)

  (flet ((foo () (foo 17))) ;Is (foo 17) inline?
    (declare (inline foo))
    ...)

-------