// Test that the dyn-compatibility diagnostics for GATs refer first to the
// user-named trait, not the GAT-containing supertrait.
//
// NOTE: this test is currently broken, and first reports:
// "the trait `Super` is not dyn compatible"
//
//@ edition:2018

trait Super {
    type Assoc<'a>;
}

trait Child: Super {}

fn take_dyn(_: &dyn Child) {}
//~^ ERROR the trait `Super` is not dyn compatible

fn main() {}