mirror of https://github.com/rust-lang/rust
25 lines
366 B
Rust
25 lines
366 B
Rust
//@ check-fail
|
|
|
|
#![feature(specialization)]
|
|
//~^ WARN incomplete
|
|
|
|
trait Family {
|
|
type Member<'a>: for<'b> PartialEq<Self::Member<'b>>;
|
|
}
|
|
|
|
struct I32Family;
|
|
|
|
impl Family for I32Family {
|
|
default type Member<'a> = i32;
|
|
}
|
|
|
|
struct Foo;
|
|
struct FooFamily;
|
|
|
|
impl Family for FooFamily {
|
|
default type Member<'a> = Foo;
|
|
//~^ ERROR can't compare
|
|
}
|
|
|
|
fn main() {}
|