mirror of https://github.com/rust-lang/rust
38 lines
825 B
Rust
38 lines
825 B
Rust
//@ check-fail
|
|
|
|
enum Either<L, R> {
|
|
Left(L),
|
|
Right(R),
|
|
}
|
|
|
|
pub trait HasChildrenOf {
|
|
type T;
|
|
type TRef<'a>;
|
|
//~^ missing required
|
|
|
|
fn ref_children<'a>(&'a self) -> Vec<Self::TRef<'a>>;
|
|
fn take_children(self) -> Vec<Self::T>;
|
|
}
|
|
|
|
impl<Left, Right> HasChildrenOf for Either<Left, Right>
|
|
where
|
|
Left: HasChildrenOf,
|
|
Right: HasChildrenOf,
|
|
{
|
|
type T = Either<Left::T, Right::T>;
|
|
type TRef<'a> = Either<&'a Left::T, &'a Right::T>
|
|
where
|
|
<Left as HasChildrenOf>::T: 'a, //~ ERROR impl has stricter requirements than trait
|
|
<Right as HasChildrenOf>::T: 'a; //~ ERROR impl has stricter requirements than trait
|
|
|
|
fn ref_children<'a>(&'a self) -> Vec<Self::TRef<'a>> {
|
|
todo!()
|
|
}
|
|
|
|
fn take_children(self) -> Vec<Self::T> {
|
|
todo!()
|
|
}
|
|
}
|
|
|
|
fn main() {}
|