This is from update to SBCL yesterday:

   enhancement: functions with declared return types have their return values type-checked in optimization regimes with high SAFETY and (DEBUG 3).

http://sbcl.org/news.html

But software correctness is orthogonal to static typing. You most def should not have the confidence that your software is correct (ie solves the practical problem you are trying to solve) just because it compiles.