mirror of https://github.com/rust-lang/rust.git
19 lines
414 B
Rust
19 lines
414 B
Rust
// 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() {}
|