diff options
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.rs | 14 |
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"); -} |