Dest prop: Support removing writes when this unblocks optimizations#105813

Closed

JakobDegen wants to merge 2 commits intorust-lang:masterfrom

JakobDegen:dest-prop-move

Commits on Dec 17, 2022

Dest prop: Support removing writes when this unblocks optimizations
JakobDegen
committed

Commits on Dec 18, 2022

Dest prop: Separate writes to remove into separate data structure in merger
JakobDegen
committed