diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/generic-associated-types/impl_bounds.rs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/impl_bounds.rs b/src/test/ui/generic-associated-types/impl_bounds.rs new file mode 100644 index 000000000..ec1d171c0 --- /dev/null +++ b/src/test/ui/generic-associated-types/impl_bounds.rs @@ -0,0 +1,26 @@ +#![feature(generic_associated_types)] +#![feature(associated_type_defaults)] + +trait Foo { + type A<'a> where Self: 'a; + type B<'a, 'b> where 'a: 'b; + type C where Self: Clone; + fn d() where Self: Clone; +} + +#[derive(Copy, Clone)] +struct Fooy<T>(T); + +impl<T> Foo for Fooy<T> { + type A<'a> = (&'a ()) where Self: 'static; + //~^ ERROR impl has stricter requirements than trait + type B<'a, 'b> = (&'a(), &'b ()) where 'b: 'a; + //~^ ERROR impl has stricter requirements than trait + //~| ERROR lifetime bound not satisfied + type C = String where Self: Copy; + //~^ ERROR the trait bound `T: Copy` is not satisfied + fn d() where Self: Copy {} + //~^ ERROR the trait bound `T: Copy` is not satisfied +} + +fn main() {} |