mirror of
https://github.com/rust-lang/rust.git
synced 2025-01-25 06:03:16 +00:00
8 lines
222 B
Rust
8 lines
222 B
Rust
|
trait Trait1<'l0, T0> {}
|
||
|
|
trait Trait0<'l0> {}
|
||
|
|
|
||
|
|
impl <'l0, 'l1, T0> Trait1<'l0, T0> for bool where T0 : Trait0<'l0>, T0 : Trait0<'l1> {}
|
||
|
|
//~^ ERROR type annotations required: cannot resolve `T0: Trait0<'l0>`
|
||
|
|
|
||
|
|
fn main() {}
|