Incorrect type mismatch diagnostic between trait objects with supertrait autotrait bound

[Veykril]

trait Trait: Send {}

fn f(_: *const (dyn Trait + Send)) {} 
fn g(it: *const (dyn Trait)) {
    f(it);
    // ^^ expected *const (dyn Trait + Send), found *const dyn Trait
}

rustc accepts this code

[ChayimFriedman2]

This is a problem in Chalk. It assembles the Unsize candidates, and doesn't consider auto traits from supertraits, which rustc does. Given that the next trait solver also cares about this, I think we should leave that for now unless it's urgent.