minor *dyn cast cleanup#131898
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 24, 2024
Merged
Commits
Commits on Oct 18, 2024
- committed
Lukas Markeffsky
Commits on Oct 20, 2024
- committed
Lukas Markeffsky
*dyn cast cleanup#131898