Skip to content

Remove dead code after destination propagation#105420

Merged
bors merged 1 commit intorust-lang:masterfrom
tmiasko:dest-prop-dead-code
Dec 18, 2022
Merged

Remove dead code after destination propagation#105420
bors merged 1 commit intorust-lang:masterfrom
tmiasko:dest-prop-dead-code

Commits

Commits on Dec 16, 2022