blob: bbeeb145d1fe298197e39bdd28742216ebbe9198 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
trait Y<'a, T: ?Sized>
where
T: Y<'a, Self>,
for<'b> <Self as Y<'b, T>>::V: Clone,
for<'b> <T as Y<'b, Self>>::V: Clone,
{
type V: ?Sized;
fn g(&self, x: &Self::V) {
<Self::V>::clone(x);
}
}
impl<'a> Y<'a, u8> for u8 {
type V = str;
//~^ ERROR the trait bound `str: Clone` is not satisfied
}
fn main() {
1u8.g("abc");
}
|