19:22:06stassatssemz: yes, safety 0 and truly-the are different
19:22:27stassatstruly-the only disables type checks, safety 0 disables all safety checks
19:27:21semzstassats: this is hilariously awkward and purely to check my understanding, but would there be a difference between (truly-the type (foo bar)) and (locally (declare (optimize (safety 0))) (the type (locally (declare (optimize (safety 2 #| or whatever else came before |#))) (foo bar))))?
19:28:34semzI guess the more readable version of this question is "does SBCL do anything other than type checks with THE"