summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/hr-associated-type-bound-param-6.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-types/hr-associated-type-bound-param-6.rs')
-rw-r--r--src/test/ui/associated-types/hr-associated-type-bound-param-6.rs19
1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-6.rs b/src/test/ui/associated-types/hr-associated-type-bound-param-6.rs
deleted file mode 100644
index 482047b09..000000000
--- a/src/test/ui/associated-types/hr-associated-type-bound-param-6.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-trait X<'a, T>
-where
- for<'b> T: X<'b, T>,
- for<'b> <T as X<'b, T>>::U: Clone,
-{
- type U: ?Sized;
- fn f(x: &<T as X<'_, T>>::U) {
- <<T as X<'_, T>>::U>::clone(x);
- }
-}
-
-impl<S, T> X<'_, T> for (S,) {
- //~^ ERROR the trait bound `for<'b> T: X<'b, T>` is not satisfied
- type U = str;
-}
-
-pub fn main() {
- <(i32,) as X<i32>>::f("abc");
-}