Mikhail Babenko

@bjorn3 `DispatchFromDyn` impl wf checks, [link](https://github.com/rust-lang/rust/blob/3d8a0733ae58749db958e929aa14108b869f7540/src/librustc_typeck/coherence/builtin.rs#L146)

@nathanwhit would you mind me repicking this up?

They can't be declared in `libstd.chalk` because `i32` is not the same as `struct i32 {}`, from chalks point of view. As for declaring them in IR, I don't see...

@rustbot claim

So if someone wants to pick it up, I am done with Copy, Drop and Clone (as far as I understood Clone introduces no hard coded impls and/or wf checks?)...

Im already working on `CoerceUnsized`

@rustbot claim

@Benjamin-L correct me if I'm wrong, but I believe it's impossible without GAT's, since &[String] require lifetime specifier and you can't have generic parameters in `type = `

Yeah, I have read both the implementation and the paper you linked but unfortunately they came before both of the mentioned articles. The complexity of the skyline algorithm was improved...

Ok, so I'll commit a basic variant in a few hours I guess.