8000 Allow dropping dyn principal by WaffleLapkin · Pull Request #131857 · rust-lang/rust · GitHub
[go: up one dir, main page]
Skip to content

Allow dropping dyn principal#131857

Merged
bors merged 2 commits intorust-lang:masterfrom
WaffleLapkin:dyn-drop-principal-3
Oct 18, 2024
Merged

Allow dropping dyn principal#131857
bors merged 2 commits intorust-lang:masterfrom
WaffleLapkin:dyn-drop-principal-3

Commits

Commits on Oct 17, 2024
0