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