diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/parameter_number_and_kind_impl.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/parameter_number_and_kind_impl.rs | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/generic-associated-types/parameter_number_and_kind_impl.rs b/src/test/ui/generic-associated-types/parameter_number_and_kind_impl.rs deleted file mode 100644 index c1381025a..000000000 --- a/src/test/ui/generic-associated-types/parameter_number_and_kind_impl.rs +++ /dev/null @@ -1,33 +0,0 @@ -#![feature(associated_type_defaults)] - -// FIXME(#44265) add tests for type-generic and const-genertic associated types. - -trait Foo { - type A<'a>; - type B<'a, 'b>; - type C; -} - -struct Fooy; - -impl Foo for Fooy { - type A = u32; - //~^ ERROR lifetime parameters or bounds on type `A` do not match the trait declaration - type B<'a, T> = Vec<T>; - //~^ ERROR type `B` has 1 type parameter but its trait declaration has 0 type parameters - type C<'a> = u32; - //~^ ERROR lifetime parameters or bounds on type `C` do not match the trait declaration -} - -struct Fooer; - -impl Foo for Fooer { - type A<T> = u32; - //~^ ERROR type `A` has 1 type parameter but its trait declaration has 0 type parameters - type B<'a> = u32; - //~^ ERROR lifetime parameters or bounds on type `B` do not match the trait declaration - type C<T> = T; - //~^ ERROR type `C` has 1 type parameter but its trait declaration has 0 type parameters -} - -fn main() {} |