mirror of https://github.com/rust-lang/rust
25 lines
860 B
Rust
25 lines
860 B
Rust
//@ build-pass (FIXME(62277): could be check-pass?)
|
|
|
|
trait Tr1: Sized { type As1; }
|
|
trait Tr2<'a>: Sized { type As2; }
|
|
|
|
trait ObjTr1 { fn foo() -> Self where Self: Tr1<As1: Copy>; }
|
|
fn _assert_obj_safe_1(_: Box<dyn ObjTr1>) {}
|
|
|
|
trait ObjTr2 { fn foo() -> Self where Self: Tr1<As1: 'static>; }
|
|
fn _assert_obj_safe_2(_: Box<dyn ObjTr2>) {}
|
|
|
|
trait ObjTr3 { fn foo() -> Self where Self: Tr1<As1: Into<u8> + 'static + Copy>; }
|
|
fn _assert_obj_safe_3(_: Box<dyn ObjTr3>) {}
|
|
|
|
trait ObjTr4 { fn foo() -> Self where Self: Tr1<As1: for<'a> Tr2<'a>>; }
|
|
fn _assert_obj_safe_4(_: Box<dyn ObjTr4>) {}
|
|
|
|
trait ObjTr5 { fn foo() -> Self where for<'a> Self: Tr1<As1: Tr2<'a>>; }
|
|
fn _assert_obj_safe_5(_: Box<dyn ObjTr5>) {}
|
|
|
|
trait ObjTr6 { fn foo() -> Self where Self: for<'a> Tr1<As1: Tr2<'a, As2: for<'b> Tr2<'b>>>; }
|
|
fn _assert_obj_safe_6(_: Box<dyn ObjTr6>) {}
|
|
|
|
fn main() {}
|