]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/associated-types/hr-associated-type-bound-param-5.rs
2 type Next
: Cycle
<Next
= Self>;
5 impl<T
> Cycle
for Box
<T
> {
9 impl<T
> Cycle
for Vec
<T
> {
13 trait X
<'a
, T
: Cycle
+ for<'b
> X
<'b
, T
>>
15 for<'b
> <T
as X
<'b
, T
>>::U
: Clone
,
16 for<'b
> T
::Next
: X
<'b
, T
::Next
>,
17 for<'b
> <T
::Next
as X
<'b
, T
::Next
>>::U
: Clone
,
20 fn f(x
: &<T
as X
<'_
, T
>>::U
) {
21 <<T
as X
<'_
, T
>>::U
>::clone(x
);
25 impl<S
, T
> X
<'_
, Vec
<T
>> for S
{
27 //~^ ERROR the trait bound `str: Clone` is not satisfied
30 impl<S
, T
> X
<'_
, Box
<T
>> for S
{
32 //~^ ERROR the trait bound `str: Clone` is not satisfied
36 <i32 as X
<Box
<i32>>>::f("abc");