diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/impl_bounds_ok.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/impl_bounds_ok.rs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/generic-associated-types/impl_bounds_ok.rs b/src/test/ui/generic-associated-types/impl_bounds_ok.rs deleted file mode 100644 index 88f829ea2..000000000 --- a/src/test/ui/generic-associated-types/impl_bounds_ok.rs +++ /dev/null @@ -1,29 +0,0 @@ -// 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() {} |