rust Allow dropping dyn principal

Allow dropping dyn principal

Open WaffleLapkin opened this issue 1 year ago • 4 comments

Revival of #126660, which was a revival of #114679. Fixes #126313.

Allows dropping principal when coercing trait objects, e.g. dyn Debug + Send -> dyn Send.

cc @compiler-errors @Jules-Bertholet
r? @lcnr

Oct 17 '24 22:10 WaffleLapkin

Some changes occurred in compiler/rustc_codegen_cranelift

cc @bjorn3

The Miri subtree was changed

cc @rust-lang/miri

Oct 17 '24 22:10 rustbot

r=me after ci passes, unless you want a review from lcnr specifically

Oct 17 '24 22:10 compiler-errors

@bors r=compiler-errors

Oct 18 '24 00:10 WaffleLapkin

:pushpin: Commit c4bce0b8b13f2ae39bfd01e55bf98a556b2d703f has been approved by compiler-errors

It is now in the queue for this repository.

Oct 18 '24 00:10 bors