12:42:10semzOh right, a LOCALLY DECLARE would affect everything inside the THE as well. Makes sense.
12:46:38jackdanielthat said if that's the case I'm still curious why such inherently unsafe construct may be used in safe code
12:46:44jackdanielso I wouldn't hold too much to my guessing :)
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"