## Class: SB-EXT:CODE-DELETION-NOTE [](../) [](../#class) > A condition type signalled when the compiler deletes code that the user > has written, having proved that it is unreachable. ### Precedence list ```cl (sb-ext:code-deletion-note sb-int:simple-compiler-note simple-condition sb-ext:compiler-note condition sb-pcl::slot-object t) ``` ### Initargs ```cl (:format-control :format-arguments) ```