fix coerce unsized impl restriction

Open lcnr opened this issue 5 months ago • 3 comments

fixes https://github.com/rust-lang/reference/issues/1574

Unsure whether we want to document them even though CoerceUnsized is unstable. Source

https://github.com/rust-lang/rust/blob/f8f6997469237299c1d60814c7b9828602a1f8e4/compiler/rustc_hir_analysis/src/coherence/builtin.rs#L430-L547

Jul 17 '25 11:07 lcnr

Is there a test in rust-lang/rust for this particular rule?

Oct 10 '25 03:10 ehuss

not that I can see xd

Oct 13 '25 08:10 lcnr

Note: I believe @traviscross indicated he was working on this, but needed to figure out how to generalize how it is expressed.

Oct 30 '25 13:10 ehuss