diff options
Diffstat (limited to 'tests/ui/generic-associated-types/impl_bounds_ok.rs')
-rw-r--r-- | tests/ui/generic-associated-types/impl_bounds_ok.rs | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/tests/ui/generic-associated-types/impl_bounds_ok.rs b/tests/ui/generic-associated-types/impl_bounds_ok.rs new file mode 100644 index 000000000..88f829ea2 --- /dev/null +++ b/tests/ui/generic-associated-types/impl_bounds_ok.rs @@ -0,0 +1,29 @@ +// check-pass + +#![feature(associated_type_defaults)] + +trait Foo { + type A<'a> where Self: 'a; + type B<'a, 'b> where 'a: 'b; + type C where Self: Clone; +} + +#[derive(Clone)] +struct Fooy; + +impl Foo for Fooy { + type A<'a> = (&'a ()); + type B<'a: 'b, 'b> = (&'a(), &'b ()); + type C = String; +} + +#[derive(Clone)] +struct Fooer<T>(T); + +impl<T> Foo for Fooer<T> { + type A<'x> = (&'x ()) where T: 'x; + type B<'u, 'v> = (&'v &'u ()) where 'u: 'v; + type C = String where Self: Clone + ToOwned; +} + +fn main() {} |