読み返したら、except that for labelsのthat for labelsは、any inline以降に掛からないかも。
examplesでfletにinline使ってるし。

ttp://www.lispworks.com/documentation/HyperSpec/Body/s_flet_.htm

CLtL2にもそれっぽいこと書いてないみたいだし、規格上では同一性は保証されないけど、
多くの処理系では、最適化の過程で>>481のような処理がされて、結果が等しくなる、
って結論で良いんじゃないかと思う。