Skip to content

minor *dyn cast cleanup#131898

Merged
bors merged 2 commits into
rust-lang:masterfrom
lukas-code:ptr-cast-cleanup
Oct 24, 2024
Merged

minor *dyn cast cleanup#131898
bors merged 2 commits into
rust-lang:masterfrom
lukas-code:ptr-cast-cleanup

elaborate why dropping principal in `*dyn` casts is non-trivial

46cc5e9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs