Yes, deconst does what is intended with less collateral widening.