Being dereferenceable isn't sufficient for call slot optimization.
Added a big comment clarifying when exactly the optimization is safe.
Fixes PR27849. Reverts code change from r219950.
Ugh, I forgot you had this review out; I committed a fix for the same issue in r270892...
Sorry about that :/
It's fine. :)