sb-ext:muffle-conditions declaration does not affect declaim ftype

[Andrew Kravchuk]

Consider the following code:

(declaim (sb-ext:muffle-conditions sb-kernel:ftype-proclamation-mismatch-warning))
(declaim (ftype (function (t)) ttt))
(declaim (ftype (function (fixnum)) ttt))

I'd expect the first declaration to silence warnings from the rest, but both running the code in REPL and calling COMPILE-FILE on the file containing it produces the warning

; caught STYLE-WARNING:
; The new FTYPE proclamation for COMMON-LISP-USER::TTT
; (FUNCTION (FIXNUM))
; does not match the old FTYPE proclamation
; (FUNCTION (T) *)

Is it something I'm missing regarding sb-ext:muffle-conditions?..

I'm using SBCL 2.5.0 on Linux.

[Stas Boukarev (stassats)]

muffle-conditions is compile-time only.

[Andrew Kravchuk (awkravchuk)]

Ah, got it, thanks.

[Tomas Hlavaty (tomas-hlavaty)]

On Tue 07 Jan 2025 at 19:47, Stas Boukarev <email address hidden> wrote:
> muffle-conditions is compile-time only.

could you elaborate?

during compile-file is compile-time, isn't it?

and when both sb-eval and sb-fasteval are off,
repl input is compiled and thus also compile-time, isn't it?