summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/associated-types-project-from-hrtb-in-trait-method.fixed
diff options
context:
space:
mode:
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.fixed38
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() {}