I think this DIP should at least consider expanding its scope to use the reaching definition analysis. It seems slightly pointless if, even if it's already opt in, that we can bypass it so easily e.g. by assigning a temporary. Or is it really *that* complicated to allow the compiler to analyse this?