diff options
Diffstat (limited to 'src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.fixed')
-rw-r--r-- | src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.fixed | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.fixed b/src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.fixed deleted file mode 100644 index 66d8613f1..000000000 --- a/src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.fixed +++ /dev/null @@ -1,38 +0,0 @@ -#![allow(dead_code)] -// run-rustfix -// Check projection of an associated type out of a higher-ranked trait-bound -// in the context of a method definition in a trait. - -pub trait Foo<T> { - type A; - - fn get(&self, t: T) -> Self::A; -} - -trait SomeTrait<I : for<'x> Foo<&'x isize>> { - fn some_method(&self, arg: <I as Foo<&isize>>::A); - //~^ ERROR cannot use the associated type of a trait with uninferred generic parameters -} - -trait AnotherTrait<I : for<'x> Foo<&'x isize>> { - fn some_method(&self, arg: <I as Foo<&isize>>::A); -} - -trait YetAnotherTrait<I : for<'x> Foo<&'x isize>> { - fn some_method<'a>(&self, arg: <I as Foo<&'a isize>>::A); -} - -trait Banana<'a> { - type Assoc: Default; -} - -struct Peach<X>(std::marker::PhantomData<X>); - -impl<X: for<'a> Banana<'a>> Peach<X> { - fn mango(&self) -> <X as Banana<'_>>::Assoc { - //~^ ERROR cannot use the associated type of a trait with uninferred generic parameters - Default::default() - } -} - -pub fn main() {} |