One thing that came up in the derefer PR is that derefs also happen in VarDebugInfo, but we don't have a good way to avoid multiple derefs there yet, but for your PR it may be useful to also unroll box derefs into multiple derefs