tests/ui/dyn-compatibility/gat-incompatible-supertrait.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// 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() {}